Satisfiability testing with more reasoning and less guessing - Van Gelder, Allen; Tsuji, Yumi; University of California, Santa Cruz. (Computer Research Laboratory, [University of California, Santa Cruz, 1995)
Keywords: Reasoning; Mathematics / Formulae / Computer simulation; Computer algorithms