Hard and Easy Distributions of SAT Problems (1992)

Cached

Download Links

by David Mitchell , Bart Selman , Hector Levesque
Citations:251 - 18 self