Detail publikace

DQBDD: An Efficient BDD-Based DQBF Solver

SÍČ, J. STREJČEK, J.

Originální název

DQBDD: An Efficient BDD-Based DQBF Solver

Anglický název

DQBDD: An Efficient BDD-Based DQBF Solver

Jazyk

en

Originální abstrakt

This paper introduces a new DQBF solver called DQBF, which is based on quantifier localization, quantifier elimination, and translation of formulas to binary decision diagrams (BDDs). In 2020, DQBF participated for the first time in the Competitive Evaluation of QBF Solvers (QBFEVAL'20) and won the DQBF Solvers Track by a large margin.

Anglický abstrakt

This paper introduces a new DQBF solver called DQBF, which is based on quantifier localization, quantifier elimination, and translation of formulas to binary decision diagrams (BDDs). In 2020, DQBF participated for the first time in the Competitive Evaluation of QBF Solvers (QBFEVAL'20) and won the DQBF Solvers Track by a large margin.

Dokumenty

BibTex


@inproceedings{BUT175796,
  author="Juraj {Síč} and Jan {Strejček}",
  title="DQBDD: An Efficient BDD-Based DQBF Solver",
  annote="This paper introduces a new DQBF solver called DQBF, which is based on quantifier
localization, quantifier elimination, and translation of formulas to binary
decision diagrams (BDDs). In 2020, DQBF participated for the first time in the
Competitive Evaluation of QBF Solvers (QBFEVAL'20) and won the DQBF Solvers Track
by a large margin.",
  address="Springer Verlag",
  booktitle="Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing",
  chapter="175796",
  doi="10.1007/978-3-030-80223-3_36",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Springer Verlag",
  number="12831",
  year="2021",
  month="july",
  pages="535--544",
  publisher="Springer Verlag",
  type="conference paper"
}