QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Browse the full CADE paper archive.