Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # 1439801673
Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring the theoretical and practical aspects of satisfiability, Introduction to Mathematics of Satisfiability focuses on the satisfiability of theories consisting of propositional logic formulas. It describes how SAT solvers and techniques are applied to problems in mathematics and computer science as well as important applications in computer engineering.
The book first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. It then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. One of the pioneers of answer set programming, the author shows how constraint satisfaction systems can be worked out by satisfiability solvers and how answer set programming can be used for knowledge representation.
About the Author:
Victor W. Marek is a professor in the Department of Computer Science at the University of Kentucky.
Title: Introduction to Mathematics of ...
Publisher: Chapman and Hall/CRC
Publication Date: 2009
Book Condition: Good
Book Description Chapman and Hall/CRC 2009-09-22, 2009. Hardcover. Condition: Very Good. Books is in very good condition. If supplemental codes/CDs for textbooks are required please contact us prior to purchasing. Seller Inventory # DS-1439801673-2
Book Description Chapman and Hall/CRC, 2009. Hardcover. Condition: Used: Good. Seller Inventory # SONG1439801673
Book Description Chapman and Hall/CRC, 2009. Hardcover. Condition: New. Brand New!. Seller Inventory # VIB1439801673
Book Description Chapman and Hall/CRC, 2009. Hardcover. Condition: New. 1. Seller Inventory # DADAX1439801673
Book Description Chapman and Hall/CRC. Hardcover. Condition: New. 1439801673 New Condition. Seller Inventory # NEW33.2642543