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]
Abstract is missing.