A Structural Approach to Reasoning with Quantified Boolean Formulas.

Luca Pulina, Armando Tacchella

Browse the full IJCAI paper archive.