{"type":"ScholarlyArticle","title":"Ddo, a Generic and Efficient Framework for MDD-Based Optimization","authors":[{"name":"Xavier Gillard","slug":"xavier-gillard","given":"Xavier","family":"Gillard","affiliation":""},{"name":"Pierre Schaus","slug":"pierre-schaus","given":"Pierre","family":"Schaus","affiliation":""},{"name":"Vianney Coppé","slug":"vianney-coppe","given":"Vianney","family":"Coppé","affiliation":""}],"abstract":"This paper presents ddo, a generic and efficient library to solve constraint optimization problems with decision diagrams. To that end, our framework implements the branch-and-bound approach which has recently been introduced by Bergman et al., (2016) to solve dynamic programs to optimality. Our library allowed us to successfully reproduce the results of Bergman et al. for MISP, MCP and MAX2SAT while using a single generic library. As an additional benefit, our ddo library is able to exploit parallel computing for its purpose without imposing any constraint on the user (apart from memory safety). Ddo is released as an open source rust library (crate) alongside with its companion example programs to solve the aforementioned problems. To the best of our knowledge, this is the first public implementation of a generic library to solve combinatorial optimization problems with branch-and-bound MDD.","doi":"10.24963/ijcai.2020/757","url":"https://ijcai.org/proceedings/2020/757","pdf":"https://ijcai.org/proceedings/2020/0757.pdf","markdown":"https://ijcai.org/proceedings/2020/757.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/757","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Demos","track":"Demos","number":757,"pages":{"first":5243,"last":5245},"keywords":["Constraints and Satisfiability: general","Knowledge Representation and Reasoning: general"],"videos":[],"references":[{"position":1,"raw":"[Andersen et al., 2007] Henrik Reif Andersen, Tarik Hadzic, John Hooker, and Peter Tiedemann. A constraint store based on multivalued decision diagrams. In Christian Bessière, editor, Principles and Practice of Constraint Programming, volume 4741 of LNCS, pages 118-132. Springer, 2007.","title":"A constraint store based on multivalued decision diagrams","authors":"Andersen","year":"2007","venue":"Principles and Practice of Constraint Programming","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bergman and Cire, 2016] David Bergman and Andre Cire. Theoretical insights and algorithmic tools for decision diagram-based optimization. Constraints, 21(4):533-556, 2016.","title":"Theoretical insights and algorithmic tools for decision diagram-based optimization","authors":"Cire Bergman, David Bergman, Andre Cire","year":"2016","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bergman et al., 2014] David Bergman, Andre Cire, Ashish Sabharwal, Samulowitz Horst, Saraswat Vijay, and Willem-Jan and van Hoeve. Parallel combinatorial opti- mization with decision diagrams. In Helmut Simonis, ed- itor, Integration of AI and OR Techniques in Constraint Programming, volume 8451, pages 351-367. Springer, 2014.","title":"Parallel combinatorial optimization with decision diagrams","authors":"David Bergman, Andre Cire, Ashish Sabharwal, Samulowitz Horst, Saraswat Vijay, Willem-Jan And Van Hoeve","year":"2014","venue":"itor, Integration of AI and OR Techniques in Constraint Programming","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bergman et al., 2016a] David Bergman, Andre Cire, Willem-Jan van Hoeve, and John Hooker. Decision Diagrams for Optimization. Springer, 2016.","title":"Decision Diagrams for Optimization","authors":"Bergman","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bergman et al., 2016b] David Bergman, Andre Cire, Willem-Jan van Hoeve, and John Hooker. Discrete optimization with decision diagrams. INFORMS Journal on Computing, 28(1):47-66, 2016.","title":"Discrete optimization with decision diagrams","authors":"Bergman","year":"2016","venue":"INFORMS Journal on Computing","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Burch et al., 1992] Jerry Burch, Clarke Edmund, McMillan Kenneth, Dill David, and Hwang H.L. Symbolic model checking: 10 20 states and beyond. Information and Com- putation, 98(2):142-170, 1992.","title":"Symbolic model checking: 10 20 states and beyond","authors":"Jerry Burch, Clarke Edmund, Mcmillan Kenneth, Dill David, H L Hwang","year":"1992","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Perez and Régin, 2015] Guillaume Perez and Jean-Charles Régin. Efficient operations on mdds for building constraint programming models. In Proceedings of the Twenty- Fourth International Joint Conference on Artificial Intel- ligence (IJCAI-15), pages 374-380, 2015.","title":"Efficient operations on mdds for building constraint programming models","authors":"Guillaume Perez, Jean-Charles Régin","year":"2015","venue":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15)","doi":null,"url":null,"internal_url":"/proceedings/2015/59"},{"position":8,"raw":"[Verhaeghe et al., 2018] Hélène Verhaeghe, Christophe Lecoutre, and Pierre Schaus. Compact-mdd: Efficiently filtering (s) mdd constraints with reversible sparse bit-sets. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18), pages 1383-1389, 2018.","title":"Compact-mdd: Efficiently filtering (s) mdd constraints with reversible sparse bit-sets","authors":"Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus","year":"2018","venue":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18)","doi":null,"url":null,"internal_url":"/proceedings/2018/192"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}