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 is missing.