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

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