Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey. On CNF Encodings of Decision Diagrams. In Claude-Guy Quimper, editor, Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings. Volume 9676 of Lecture Notes in Computer Science, pages 1-17, Springer, 2016. [doi]
Abstract is missing.