Satisfiability Testing with More Reasoning and Less Guessing (1995)

by Allen Van Gelder , Yumi K. Tsuji
Citations:51 - 10 self