Computer Science – Programming Languages
Scientific paper
2001-09-18
Computer Science
Programming Languages
11 pages. Proceedings ERCIM WG on Constraints (Prague, June 2001)
Scientific paper
Global constraints proved themselves to be an efficient tool for modelling and solving large-scale real-life combinatorial problems. They encapsulate a set of binary constraints and using global reasoning about this set they filter the domains of involved variables better than arc consistency among the set of binary constraints. Moreover, global constraints exploit semantic information to achieve more efficient filtering than generalised consistency algorithms for n-ary constraints. Continued expansion of constraint programming (CP) to various application areas brings new challenges for design of global constraints. In particular, application of CP to advanced planning and scheduling (APS) requires dynamic additions of new variables and constraints during the process of constraint satisfaction and, thus, it would be helpful if the global constraints could adopt new variables. In the paper, we give a motivation for such dynamic global constraints and we describe a dynamic version of the well-known alldifferent constraint.
No associations
LandOfFree
Dynamic Global Constraints: A First View does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Dynamic Global Constraints: A First View, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic Global Constraints: A First View will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-424888