GSAT and Dynamic Backtracking

Matthew L. Ginsberg, David A. McAllester. GSAT and Dynamic Backtracking. In Alan Borning, editor, Principles and Practice of Constraint Programming, Second International Workshop, PPCP 94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings. Volume 874 of Lecture Notes in Computer Science, pages 243-265, Springer, 1994.

Abstract

Abstract is missing.