Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker. Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. In Nicolas Beldiceanu, Narendra Jussien, Eric Pinson, editors, Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings. Volume 7298 of Lecture Notes in Computer Science, pages 34-49, Springer, 2012. [doi]

Authors

David Bergman

This author has not been identified. Look up 'David Bergman' in Google

André A. Ciré

This author has not been identified. Look up 'André A. Ciré' in Google

Willem Jan van Hoeve

This author has not been identified. Look up 'Willem Jan van Hoeve' in Google

John N. Hooker

This author has not been identified. Look up 'John N. Hooker' in Google