@InProceedings{gentzel_et_al:LIPIcs.CP.2022.24, author = {Gentzel, Rebecca and Michel, Laurent and van Hoeve, Willem-Jan}, title = {{Heuristics for MDD Propagation in HADDOCK}}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming (CP 2022)}, pages = {24:1--24:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-240-2}, ISSN = {1868-8969}, year = {2022}, volume = {235}, editor = {Solnon, Christine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.24}, URN = {urn:nbn:de:0030-drops-166534}, doi = {10.4230/LIPIcs.CP.2022.24}, annote = {Keywords: Decision Diagrams} }