From MDD to BDD and arc consistency

DOI10.1007/s10601-018-9286-5zbMath1468.68209OpenAlexW2880892438MaRDI QIDQ2331100

Sylvain Piechowiak, Julien Vion

Publication date: 25 October 2019

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-018-9286-5

zbMATH Keywords

filteringpropagationbinary decision diagramtable constraintsmultivalued decision diagram

Mathematics Subject Classification ID

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

Related Items

Decision Diagrams for Discrete Optimization: A Survey of Recent Advances, Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams

Uses Software

• MiniZinc
• Scala
• STR2
• GitHub
• Concrete

Cites Work

• Unnamed Item
• Unnamed Item
• Decision diagrams for optimization
• STR2: optimized simple tabular reduction for table constraints
• MDD propagators with explanation
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Random constraint satisfaction: easy generation of hard (satisfiable) instances
• Making data structures persistent
• A generic arc-consistency algorithm and its specializations
• Consistency in networks of relations
• Networks of constraints: Fundamental properties and applications to picture processing
• Optimal and efficient filtering algorithms for table constraints
• Partition search for non-binary constraint satisfaction
• Graph-Based Algorithms for Boolean Function Manipulation
• Improving the variable ordering of OBDDs is NP-complete
• A relational model of data for large shared data banks