A.: QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability (0)

by E Giunchiglia, M Narizzano, Tacchella
Venue:Proceedings of the First International Joint Conference on Automated Reasoning