John N. Hooker. Logic-Based Methods for Optimization. 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 336-349, Springer, 1994.
Abstract is missing.