Combining inference and backtracking search for the propositional satisfiability problem. - Lyndon Paul Drake (2004)