Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.