Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Introduction to Mathematics of Satisfiability

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

Book Details
Pages:364
Detailed Subjects: Mathematics / Logic
Mathematics / Calculus
Physical Dimensions (W X L X H):0.612 x 0.925 Inches



Featured Books

Come and Get It
Reid, Kiley
Hardback: $29.00
The Women
Hannah, Kristin
Hardback: $30.00
Northanger Abbey
Austen, Jane
Paperback: $7.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.