Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
The essence of constraint propagation
Theoretical Computer Science
A Reactive Implementation of Pos Using ROBDDs
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
A classification and constraint-based framework for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Set bounds and (split) set domain propagation using ROBDDs
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
A Multi-stage Graph Decomposition Algorithm for Distributed Constraint Optimisation
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Solving a Telecommunications Feature Subscription Configuration Problem
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Universal Booleanization of Constraint Models
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Maintaining Generalized Arc Consistency on Ad-hoc n-ary Boolean Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Fast Set Bounds Propagation using BDDs
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Length-lex ordering for set CSPs
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Weighted constraint satisfaction with set variables
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Variety reasoning for multiset constraint propagation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Evaluation of length-lex set variables
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A systematic approach to MDD-based constraint programming
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Exponential propagation for set variables
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Fast set bounds propagation using a BDD-SAT hybrid
Journal of Artificial Intelligence Research
MDD propagators with explanation
Constraints
Constraint reasoning and Kernel clustering for pattern decomposition with scaling
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Checking and filtering global set constraints
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Generating propagators for finite set constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
General symmetry breaking constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A hybrid BDD and SAT finite domain constraint solver
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Size-Change termination analysis in k-bits
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
View-based propagator derivation
Constraints
Hi-index | 0.00 |
In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems.