An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

DOI10.1007/S10601-009-9087-YMaRDI QIDQ968351zbMATH OpenOpenAlexFDO

Authors Kenil C. K. Cheng, Roland H. C. Yap

Publication date 5 May 2010

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-009-9087-y

zbMATH Keywords

global constraintad hoc constraintgeneralized arc consistencymulti-valued decision diagramnegative constraintpositive constrainttable constraint

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• From MDD to BDD and arc consistency
• Generalized Arc Consistency for Positive Table Constraints
• STR2: optimized simple tabular reduction for table constraints
• Efficient operations between MDDs and constraints
• Constructions and in-place operations for MDDs based constraints

Cites work

• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• scientific article; zbMATH DE number 3761989 (Why is no real title available?)
• scientific article; zbMATH DE number 1487979 (Why is no real title available?)
• An optimal coarse-grained arc consistency algorithm
• Applying ad-hoc global constraints with the case constraint to still-life
• Generalized Arc Consistency for Positive Table Constraints
• Graph-Based Algorithms for Boolean Function Manipulation
• Improving the variable ordering of OBDDs is NP-complete
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Introducing global constraints in CHIP
• Partition search for non-binary constraint satisfaction
• Principles and Practice of Constraint Programming – CP 2004
• Revisiting the Sequence Constraint

Cited in

(21)

• Strong local consistency algorithms for table constraints
• How efficient is a global constraint in practice? A fair experimental framework
• Computing AES related-key differential characteristics with constraint programming
• MDDs boost equation solving on discrete dynamical systems
• STR2: optimized simple tabular reduction for table constraints
• Constructions and in-place operations for MDDs based constraints
• Scheduling double round-robin tournaments with divisional play using constraint programming
• Generating custom propagators for arbitrary constraints
• Generalized hypertree decomposition for solving non binary CSP with compressed table constraints
• MDD propagation for sequence constraints
• Compiling CP subproblems to MDDs and d-DNNFs
• Theoretical insights and algorithmic tools for decision diagram-based optimization
• Improving the lower bound of simple tabular reduction
• Efficient operations between MDDs and constraints
• Domain consistency with forbidden values
• Decision Diagrams for Discrete Optimization: A Survey of Recent Advances
• Generalized Arc Consistency for Positive Table Constraints
• MDDs are efficient modeling tools: an application to some statistical constraints
• From MDD to BDD and arc consistency
• STR3: a path-optimal filtering algorithm for table constraints
• Optimal and efficient filtering algorithms for table constraints

Describes a project that uses

Uses Software

• MiniSat
• SICStus

This page was built for publication: An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q968351)