Author:Peter Schneider-Kamp

Publications
Minimizing Sorting Networks at the Sub-Comparator Level Luís Cruz-Filipe and Peter Schneider-Kamp In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Formally Proving the Boolean Pythagorean Triples Conjecture Luís Cruz-Filipe and Peter Schneider-Kamp In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Optimizing the AES S-Box using SAT Carsten Fuhs and Peter Schneider-Kamp In:IWIL 2010. The 8th International Workshop on the Implementation of Logics