Theory and applications of satisfiability testing -- SAT 2006 by Armin Biere | Menrva Books | MenrvaBooks