Hard and Easy Distributions of SAT Problems (1992)

Cached

Download Links

by David Mitchell , Bart Selman , Hector Levesque
Citations:218 - 17 self