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

Cached

Download Links

by Bart Selman , Henry Kautz
Venue:PROC. IJCAI-93
Citations:232 - 10 self