HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Peter Schneider-Kamp

Publications
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

Keyphrases

AES, Boolean Pythagorean Triples problem, formal proofs, interactive theorem proving, Optimization, program synthesis, SAT.

Copyright © 2012-2023 easychair.org. All rights reserved.