David Bergman, André Augusto Ciré. On Finding the Optimal BDD Relaxation. In Domenico Salvagnin, Michele Lombardi 0001, editors, Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings. Volume 10335 of Lecture Notes in Computer Science, pages 41-50, Springer, 2017. [doi]
Abstract is missing.