Generating Hard Satisfiability Problems (1996)

Cached

Download Links

by Bart Selman , David Mitchell , Hector Levesque
Venue:Artificial Intelligence
Citations:98 - 2 self