Polynomial average time Satisfiability problems (1987)

by P W Purdom, C A Brown
Venue:Information Sciences