MDD propagation for sequence constraints

DOI10.1613/JAIR.4199MaRDI QIDQ5494859zbMATH OpenOpenAlexFDO

Authors

Publication date 30 July 2014

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4199

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Efficient operations between MDDs and constraints
• MDD propagators with explanation
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• MDDs are efficient modeling tools: an application to some statistical constraints
• Constructions and in-place operations for MDDs based constraints

Cited in

(13)

• Constraint programming and operations research
• How efficient is a global constraint in practice? A fair experimental framework
• MDDs are efficient modeling tools: an application to some statistical constraints
• On finding the optimal BDD relaxation
• MDDs boost equation solving on discrete dynamical systems
• Theoretical insights and algorithmic tools for decision diagram-based optimization
• MDD propagators with explanation
• Exact Multiple Sequence Alignment by Synchronized Decision Diagrams
• Decision Diagrams for Discrete Optimization: A Survey of Recent Advances
• On the consistent path problem
• Multivalued decision diagrams for sequencing problems
• Constraint reasoning
• Lagrangian bounds from decision diagrams

This page was built for publication: MDD propagation for sequence constraints

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