Keyword:program synthesis

Publications
Synthesis of Recursive Programs in Saturation Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner EasyChair Preprint 12145
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint 10223
Towards Synthesis in Superposition Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint 8182
Integrating Answer Literals with AVATAR for Program Synthesis Petra Hozzová In:Proceedings of the 7th and 8th Vampire Workshop
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