"Local and Global Complete Solution Learning Methods for QBF."

Ian P. Gent, Andrew G. D. Rowley (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics