Keyword:DQBF

Publications
DQBDD: An Efficient BDD-Based DQBF Solver Juraj Síč and Jan Strejček EasyChair Preprint 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