Seol mar théacs é seo: Theory and applications of satisfiability testing - SAT 2012