Evidence for invariants in local search (1997)

by D A McAllester, B Selman, H Kautz
Venue:In AAAI/IAAI