A Structural Approach to Reasoning with Quantified Boolean Formulas.

Luca Pulina Armando Tacchella A Structural Approach to Reasoning with Quantified Boolean Formulas. 596-602 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-105.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#PulinaT09