Download PDFOpen PDF in browserDQBDD: An Efficient BDD-Based DQBF SolverEasyChair Preprint no. 594811 pages•Date: June 28, 2021AbstractThis paper introduces a new DQBF solver called DQBDD, which is based on quantifier localization, quantifier elimination, and translation of formulas to binary decision diagrams (BDDs). In 2020, DQBDD participated for the first time in the Competitive Evaluation of QBF Solvers (QBFEVAL’20) and won the DQBF Solvers Track by a large margin. Keyphrases: BDD, bdd based solver, Binary Decision Diagram, dependency quantified Boolean formula, DQBDD, DQBF, quantifier elimination, Quantifier Localization, solver
|