Marin Vlada Algorithms for Testing Satisfiability Formulas. 153-163 2001 15 Artif. Intell. Rev. 3 db/journals/air/air15.html#Vlada01