QuBE++: An Efficient QBF Solver.

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Browse the full FMCAD paper archive.