SAT Based BDD Solver for Quantified Boolean Formulas.

Gilles Audemard, Lakhdar Sais

Browse the full ICTAI paper archive.