Theory And Applications Of Satisfiability Testing door Holger H. Hoos