Maintaining persistent MDD for arc consistency
Maintenir des MDD persistants pour établir la consistance d’arc
Résumé
In this paper, we present MDDF, a new algorithm for revising constraints defined using multi-valued decision diagrams (MDD). MDDF copies modified parts of the MDD "on the fly" during the search of a solution, which yields a better incrementality than the previous MDDC algorithm by Cheng et Yap (2010), although coarse-grained propagation queues are still sufficient. MDDF can also be used to compress constraints defined as tables of allowed tuples. MDDF has then comparable performances to the STR2 algorithm by Ullmann (2007) and Lecoutre (2011) on loose, unstructured constraints