Satisfiability testing with more reasoning and less guessing (1995)

by A V Gelder
Venue:American Mathematical Society