Introduction to Mathematics of Satisfiability |
|
Author:
| Marek, Victor W. Marek, V. W. |
Series title: | Chapman and Hall/CRC Studies in Informatics Ser. |
ISBN: | 978-1-4398-0167-3 |
Publication Date: | Sep 2009 |
Publisher: | CRC Press LLC
|
Imprint: | Chapman & Hall/CRC |
Book Format: | Hardback |
List Price: | USD $104.95 |
Book Description:
|
Addressing a topic with over 80 years of history, this book provides a complete introduction to the mathematics of satisfiability. The text covers basic and more advanced subjects, such as propositional logic, complete sets of functors, normal forms of propositional formulas, and clausal logic. The author, one of the main inventors of answer set programming, also includes algorithms for testing satisfiability and discusses combinatorial circuits along with various classes of theories....
More DescriptionAddressing a topic with over 80 years of history, this book provides a complete introduction to the mathematics of satisfiability. The text covers basic and more advanced subjects, such as propositional logic, complete sets of functors, normal forms of propositional formulas, and clausal logic. The author, one of the main inventors of answer set programming, also includes algorithms for testing satisfiability and discusses combinatorial circuits along with various classes of theories. Each chapter concludes with a set of exercises to confirm understanding of the concepts, making this work ideal for graduate students and researchers.