HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Helmut Veith

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

Keyphrases

DQBF, DQDIMACS, EPR, Instantiation, QBF, SAT.

Copyright © 2012-2025 easychair.org. All rights reserved.