Keyword:Binary Decision Diagram

Publications
DQBDD: An Efficient BDD-Based DQBF Solver Juraj Síč and Jan Strejček EasyChair Preprint 5948