DQBDD: An Efficient BDD-Based DQBF Solver

Theory and Applications of Satisfiability Testing – SAT 2021 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-80223-3_36 ◽

2021 ◽

pp. 535-544

Author(s):

Juraj Síč ◽

Jan Strejček

Download Full-text