QUBE: A system for deciding quantified boolean formulas satisfiability (2001)

by Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella
Citations:69 - 3 self