This book constitutes the refereed proceedings of the 9th
International Conference on Theory and Applications of
Satisfiability Testing, SAT 2006. The book presents 26 revised full
papers together with 11 revised short papers and 2 invited talks.
Coverage extends to all current research issues in propositional
and quantified Boolean formula satisfiability testing. The papers
are organized in topical sections on proofs and cores, heuristics
and algorithms, and more.
General
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!