BDD, bdd based solver, Binary Decision Diagram, dependency quantified Boolean formula, DQBDD, DQBF, quantifier elimination, Quantifier Localization, solver.
