Looking Algebraically at Tractable Quantified Boolean Formulas.

Hubie Chen, Vctor Dalmau

Browse the full SAT paper archive.