Evidence for invariants in local search (1997)

by D McAllester, B Selman, H Kautz
Venue:In proceedings of AAAI