Envoyer par SMS: Improving strong branching by domain propagation