HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.