Thomas Douillard, Christophe Jermann
Splitting heuristics for disjunctive numerical constraints
SAC, 2008.
@inproceedings{SAC-2008-DouillardJ, author = "Thomas Douillard and Christophe Jermann", booktitle = "{Proceedings of the 23rd Symposium on Applied Computing}", doi = "10.1145/1363686.1363725", editor = "Roger L. Wainwright and Hisham Haddad", isbn = "978-1-59593-753-7", pages = "140--144", publisher = "{ACM}", title = "{Splitting heuristics for disjunctive numerical constraints}", year = 2008, }