Allen Van Gelder, Yumi K. Tsuji. Satisfiability testing with more reasoning and less guessing. In David S. Johnson, Michael A. Trick, editors, Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 559-586, DIMACS/AMS, 1993.
Abstract is missing.