Constraint-directed search : a case study of job-shop scheduling - Fox, Mark S. (Research notes in artificial intelligence (London, England), 1987)