VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking
Constraint-Directed Search: A Case Study of Job-Shop Scheduling