TY - RPRT TI - Branching: the Essence of Constraint Solving AU - Antonio J. Fernandez AU - Patricia M. Hill PY - 2001 UR - https://arxiv.org/abs/cs/0109060 ID - cs/0109060 ER -