HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:DQBF

Papers
DQBDD: An Efficient BDD-Based DQBF Solver
Juraj Síč and Jan Strejček
EasyChair Preprint no. 5948
iDQ: Instantiation-Based DQBF Solving
Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith
In:POS-14. Fifth Pragmatics of SAT workshop
Copyright © 2012-2023 easychair.org. All rights reserved.