PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

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