Výpis publikací

GE-ERNST, Aile, Christoph SCHOLL, Juraj SÍČ a Ralf WIMMER. Solving dependency quantified Boolean formulas using quantifier localization. Theoretical Computer Science. North Holland, 2022, roč. 925, č. 1, s. 1-24. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2022.03.029.

SÍČ, Juraj a Jan STREJČEK. DQBDD: An Efficient BDD-Based DQBF Solver. Online. In Chu-Min Li and Felip Manyà. 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.