AAAI Publications, Thirty-First AAAI Conference on Artificial Intelligence

Font Size: 
Soft and Cost MDD Propagators
Guillaume Perez, Jean-Charles Régin

Last modified: 2017-02-12


Recent developments of efficient propagators, operations and creation methods for MDDs allow us to directly build efficient MDD-based models, without the need for intermediate data structures. In this paper, we take another step in this direction by improving the propagators of cost MDDs. In addition, we introduce a soft MDD propagator in order to deal with unsatisfiable problems. This directly offers cost and soft versions for table constraints and any constraints which can be represented by an MDD (regular, slide, knapsack...).


MDD; propagator; global constraints; arc consistency

Full Text: PDF