Watched Data Structures for QBF Solvers.

Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella

Browse the full SAT paper archive.