Keyword:Quantifier Localization

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