Constraint-based reasoning - Freuder, Eugene C.; Mackworth, Alan K. (Special issues of Artificial intelligence, an international journal, 1994)