Satisfiability testing with more reasoning and less guessing. - Allen Van Gelder; Yumi K. Tsuji (Cliques, Coloring, and Satisfiability, 1993)