A Generic Global Constraint based on MDDs

Details A Generic Global Constraint based on MDDs A Generic Global Constraint based on MDDs

2006-11-28

arxiv.org/abs/cs/0611141v1

Computer Science

Artificial Intelligence

Tech report, 31 pages, 3 figures

Scientific paper

The paper suggests the use of Multi-Valued Decision Diagrams (MDDs) as the supporting data structure for a generic global constraint. We give an algorithm for maintaining generalized arc consistency (GAC) on this constraint that amortizes the cost of the GAC computation over a root-to-terminal path in the search tree. The technique used is an extension of the GAC algorithm for the regular language constraint on finite length input. Our approach adds support for skipped variables, maintains the reduced property of the MDD dynamically and provides domain entailment detection. Finally we also show how to adapt the approach to constraint types that are closely related to MDDs, such as AOMDDs and Case DAGs.

Affiliated with

Also associated with

No associations

Rating

A Generic Global Constraint based on MDDs 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 A Generic Global Constraint based on MDDs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Generic Global Constraint based on MDDs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-350545