Toby Walsh,Fahiem Bacchus

• Theory and Applications of Satisfiability Testing