Random 3-SAT Problems and the Davis-Putnam Procedure (1996)

by Freeman J W Hard
Venue:Gent and Walsh