Book

Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)

by Henry Kautz