This book covers recent progress in solving propositional
satisfiability and related problems. Propositional satisfiability
is a powerful and general formalism used to solve a wide range of
important problems including hardware and software verification.
Research into methods to automate such reasoning has therefore a
long history in artificial intelligence. This book follows on from
the highly successful volume entitled SAT 2000 published five years
ago.
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
