Evidence for Invariants in Local Search (1997)

by D McAllester, B Selman, H Kautz
Venue:In Proc. of the Fourteenth National Conference on Artificial Intelligence (AAAI’97