Gerald Gamrath. Improving Strong Branching by Propagation. In Carla P. Gomes, Meinolf Sellmann, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings. Volume 7874 of Lecture Notes in Computer Science, pages 347-354, Springer, 2013. [doi]
Abstract is missing.