HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:superposition reasoning

Publications
Towards Synthesis in Superposition
Petra Hozzová, Laura Kovács and Andrei Voronkov
EasyChair Preprint 8182
Induction with Recursive Definitions in Superposition
Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov
EasyChair Preprint 6513
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint 2468
Copyright © 2012-2025 easychair.org. All rights reserved.