A Long Acronym for a Satisfiability Solver