Book

Theory and Application of Satisfiability Testing

by Karem A. Sakallah, Laurent Simon