of models and satisfiability of sets of clauses (1996)

by W Number Zhang
Venue:Theoretical Computer Science