PASCAL -

Looking Algebraically at Tractable Quantified Boolean Formulas.
Hubert Ming Chen and Victor Dalmau
Seventh International Conference on Theory and Applications of Satisfiability Testing 2004.

Abstract

EPrint Type:	Article
Project Keyword:	Project Keyword UNSPECIFIED
Subjects:	Theory & Algorithms
ID Code:	361
Deposited By:	Hubert Ming Chen
Deposited On:	16 December 2004

[Edit]