Book

Theory and applications of satisfiability testing

by Fahiem Bacchus, Toby Walsh