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%2F00216305%3A26230%2F21%3APU142919" target="_blank" >RIV/00216305:26230/21:PU142919 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-030-80223-3_36" target="_blank" >http://dx.doi.org/10.1007/978-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 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.

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

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LL1908" target="_blank" >LL1908: Efektivní konečné automaty pro automatické usuzování</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

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

Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing

ISBN

—

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

10

Strana od-do

535-544

Název nakladatele

Springer Verlag

Místo vydání

Heidelberg

Místo konání akce

Barcelona

Datum konání akce

5. 7. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000709570900036