Keyword:program synthesis

Papers
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint no. 10223
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