Parallel Combinatorial Optimization with Decision Diagrams

David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve. Parallel Combinatorial Optimization with Decision Diagrams. In Helmut Simonis, editor, Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Volume 8451 of Lecture Notes in Computer Science, pages 351-367, Springer, 2014. [doi]

Abstract

Abstract is missing.