Keyword:program synthesis

Papers
Towards Synthesis in Superposition Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 8182
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