@article{Gamrath2013, author = {Gerald Gamrath}, title = {Improving strong branching by propagation}, journal = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems}, editor = {Carla Gomes and Meinolf Sellmann}, volume = {7874}, pages = {347 -- 354}, doi = {10.1007/978-3-642-38171-3_25}, year = {2013}, }