Constraint Satisfaction ID TR-85-15 Authors Alan K. Mackworth Publishing date September 1985 File(s) TR-85-15.pdf