Robert G. Jeroslow Jinchang Wang Solving Propositional Satisfiability Problems. 1990 1 167-187 Ann. Math. Artif. Intell. db/journals/amai/amai1.html#JeroslowW90 http://dx.doi.org/10.1007/BF01531077