Local and Global Complete Solution Learning Methods for QBF.

Ian P. Gent, Andrew G. D. Rowley

Browse the full SAT paper archive.