Introduction to Mathematics of Satisfiability

1st Edition

Victor W. Marek

What are VitalSource eBooks?

Chapman and Hall/CRC
Published September 22, 2009
Reference - 364 Pages
ISBN 9780429147456 - CAT# KE83653

was $104.95

USD$94.46

SAVE ~$10.50

Add to Wish List
FREE Standard Shipping!

Summary

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

Share this Title