Evidence for Invariants in Local Search.

David A. McAllester, Bart Selman, Henry A. Kautz

Browse the full AAAI paper archive.