Introduction to Mathematics of Satisfiability |
|
Author:
| Marek, Victor W. |
ISBN: | 978-1-4398-0174-1 |
Publication Date: | Sep 2009 |
Publisher: | CRC Press LLC
|
Imprint: | Chapman & Hall/CRC |
Book Format: | Digital |
List Price: | USD $57.95 |
Book Description:
|
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 satisfiabi
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 satisfiabi