Splitting heuristics for disjunctive numerical constraints. - Thomas Douillard; Christophe Jermann (SAC, 2008)