"A Bradford book."Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992.Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, quali…