Laurent Michel, Pascal Van Hentenryck. Activity-Based Search for Black-Box Constraint Programming Solvers. 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 228-243, Springer, 2012. [doi]
Abstract is missing.