QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers.

Abdelwaheb Ayari, David A. Basin

Browse the full FMCAD paper archive.