@INPROCEEDINGS{sac08csp,
   AUTHOR={T. Douillard and C. Jermann},
   TITLE={Splitting Heuristics for Disjunctive Numerical Constraints},
   BOOKTITLE={Proceedings of the ACM Symposium on Applied Computing},
   YEAR={2008}
}