Steven Minton Mark D. Johnston Andrew B. Philips Philip Laird Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method. 17-24 1990 AAAI db/conf/aaai/aaai90.html#MintonJPL90