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