DQBDD: An Efficient BDD-Based DQBF Solver

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021（2021）

引用 3|浏览3

暂无评分

摘要

This 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.

查看译文

关键词

dqbf solver,bdd-based

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要