Eugene Goldberg Testing satisfiability of CNF formulas by computing a stable set of points. 65-89 2005 43 Ann. Math. Artif. Intell. 1 http://www.springerlink.com/index/10.1007/s10472-005-0420-x db/journals/amai/amai43.html#Goldberg05