Constraint-based reasoning /
Freuder, Eugene C.
Mackworth, Alan K.
Cambridge, Mass. ; London : MIT Press,
1994.
"A Bradford book."
Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992.
Includes bibliographical references and index.
Constraints (Artificial intelligence)
Reasoning.