Goal Programming
1 Constraints and Logic Programming All problems involving finite domains (including booleans, and sets) may be solved, in principle, with logic programming.
Rutgers CS440, Fall 2003 Lecture 5: On-line search Constraint Satisfaction Problems Reading: Sec. 4.5 & Ch. 5, AIMA.
Min Chen, and Yuhong Yan Concordia University, Montreal, Canada Presentation at ICWS 2012 June 24-29, 2012, Hawaii (Honolulu), USA Redundant Service Removal.
Lecture 5: On-line search Constraint Satisfaction Problems