I wrote a book on satisfiability, entitled "Introduction to the Mathematics of Satisfiability". An early version was accessible from this page, but since the book is now published, I no longer can post it.

The ISBN-13 of of this book is: 978-143-9801-673. It is available at Amazon and, of course, from its publishers (CRC Press).

Here is the cover of the book:

The design of the picture on the cover, due to Marijn Heule, visualizes a lower bound on one of van der Waerden numbers.

Eventually, an errata to the book will be available from this page.

For those who want something less ambitious here are my slides for a course on Satisfiability.

Set up: June 1, 2005

This page last modified: September 26, 2009