Ian P. Gent Andrew G. D. Rowley Local and Global Complete Solution Learning Methods for QBF. 91-106 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_7 db/conf/sat/sat2005.html#GentR05