This book constitutes the refereed proceedings of the 14th
International Conference on Theory and Applications of
Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in
The 25 revised full papers presented together with abstracts of
2 invited talks and 10 poster papers were carefully reviewed and
selected from 57 submissions. The papers are organized in topical
sections on complexity analysis, binary decision diagrams,
theoretical analysis, extraction of minimal unsatisfiable subsets,
SAT algorithms, quantified Boolean formulae, model enumeration and
local search, and empirical evaluation.
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!