Introduction to Mathematics of Satisfiability

by

Write The First Customer Review

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 ...

Introduction to Mathematics of Satisfiability 2009, Chapman & Hall/CRC, Boca Raton, FL

ISBN-13: 9781439801673

Hardcover

Select