random 3-SAT problems and the DavisPutnam procedure (1996)

by Hard
Venue:Artificial Intelligence