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