This book constitutes the refereed proceedings of the 10th
International Conference on Theory and Applications of
Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May
2007.
The 22 revised full papers presented together with 12 revised
short papers and two invited talks cover all current research
issues in propositional and quantified Boolean formula
satisfiability testing.
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!