Hard and Easy Distributions of SAT Problems (1992)
by
David Mitchell
,
Bart Selman
,
Hector Levesque
| Citations: | 194 - 17 self |







