HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Instantiation

Publications
iDQ: Instantiation-Based DQBF Solving
Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith
In:POS-14. Fifth Pragmatics of SAT workshop
Reasoning with Triggers
Claire Dross, Sylvain Conchon, Johannes Kanig and Andrei Paskevich
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Copyright © 2012-2025 easychair.org. All rights reserved.