Introduction to mathematics of satisfiability /

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

Full description

Bibliographic Details

Main Author:	Marek, Wiktor
Format:	eBook
Language:	English
Published:	Boca Raton : CRC Press, [2009]
Series:	Chapman & Hall/CRC studies in informatics series.
Subjects:	Propositional calculus. Logic, Symbolic and mathematical. MATHEMATICS > Infinity. MATHEMATICS > Logic. Electronic books.
Online Access:	http://proxy.library.tamu.edu/login?url=https://www.taylorfrancis.com/books/9781439801741