DQBDD: An Efficient BDD-Based DQBF Solver

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F21%3A00122203" target="_blank" >RIV/00216224:14330/21:00122203 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007%2F978-3-030-80223-3_36" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-030-80223-3_36</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-80223-3_36" target="_blank" >10.1007/978-3-030-80223-3_36</a>

Jazyk výsledku
angličtina
Název v původním jazyce
DQBDD: An Efficient BDD-Based DQBF Solver
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
DQBDD: An Efficient BDD-Based DQBF Solver
Popis výsledku anglicky
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.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
ISBN
9783030802226
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
10
Strana od-do
535-544
Název nakladatele
Springer
Místo vydání
Cham (Switzerland)
Místo konání akce
Barcelona
Datum konání akce
1. 1. 2021
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000709570900036

Podobné výsledky(10)