Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1789078,
author = {Síč, Juraj and Strejček, Jan},
address = {Cham (Switzerland)},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
doi = {http://dx.doi.org/10.1007/978-3-030-80223-3_36},
editor = {Chu-Min Li and Felip Manyà},
keywords = {dependency quantified Boolean formulas; DQBF; binary decision diagrams; BDD; DQBDD},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Cham (Switzerland)},
isbn = {978-3-030-80222-6},
pages = {535-544},
publisher = {Springer},
title = {DQBDD: An Efficient BDD-Based DQBF Solver},
url = {https://link.springer.com/chapter/10.1007%2F978-3-030-80223-3_36},
year = {2021}
}
TY - JOUR
ID - 1789078
AU - Síč, Juraj - Strejček, Jan
PY - 2021
TI - DQBDD: An Efficient BDD-Based DQBF Solver
PB - Springer
CY - Cham (Switzerland)
SN - 9783030802226
KW - dependency quantified Boolean formulas
KW - DQBF
KW - binary decision diagrams
KW - BDD
KW - DQBDD
UR - https://link.springer.com/chapter/10.1007%2F978-3-030-80223-3_36
N2 - 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.
ER -
SÍČ, Juraj a Jan STREJČEK. DQBDD: An Efficient BDD-Based DQBF Solver. Online. In Chu-Min Li and Felip Manyà. \textit{Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings}. Cham (Switzerland): Springer, 2021, s.~535-544. ISBN~978-3-030-80222-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-80223-3\_{}36.
|
