2026-07-22T11:59:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16653 2024-03-06T10:57:58Z ddc:004 open_access

Heuristics for MDD Propagation in HADDOCK Gentzel, Rebecca Michel, Laurent van Hoeve, Willem-Jan Decision Diagrams Haddock, introduced in [R. Gentzel et al., 2020], is a declarative language and architecture for the specification and the implementation of multi-valued decision diagrams. It relies on a labeled transition system to specify and compose individual constraints into a propagator with filtering capabilities that automatically deliver the expected level of filtering. Yet, the operational potency of the filtering algorithms strongly correlate with heuristics for carrying out refinements of the diagrams. This paper considers how to empower Haddock users with the ability to unobtrusively specify various such heuristics and derive the computational benefits of exerting fine-grained control over the refinement process. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rebecca Gentzel and Laurent Michel and Willem-Jan van Hoeve 2022 Is Part Of LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CP.2022.24 urn:nbn:de:0030-drops-166534 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.24 eng https://creativecommons.org/licenses/by/4.0/legalcode