Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems (1993)

Cached

Download Links

by Bart Selman , Henry Kautz
Venue:PROC. IJCAI-93
Citations:216 - 12 self