@inproceedings{rohou:hal-02956402,
  TITLE = {{Towards a Generic Interval Solver for Differential-Algebraic CSP}},
  AUTHOR = {Rohou, Simon and Bedouhene, Abderahmane and Chabert, Gilles and Goldsztejn, Alexandre and Jaulin, Luc and Neveu, Bertrand and Reyes, Victor and Trombettoni, Gilles},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02956402},
  BOOKTITLE = {{CP 2020 - 26th International Conference on Principles and Practice of Constraint Programming}},
  ADDRESS = {Louvain-la-Neuve, Belgium},
  ORGANIZATION = {{Simonis, Helmut}},
  PUBLISHER = {{Springer}},
  SERIES = {Lecture Notes in Computer Science (LNCS)},
  VOLUME = {12333},
  PAGES = {548-565},
  YEAR = {2020},
  MONTH = Sep,
  DOI = {10.1007/978-3-030-58475-7\_32},
  KEYWORDS = {Interval Analysis ; Constraint programming ; Differential Algebraic Equations},
  PDF = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02956402/file/dacsp_paper.pdf},
  HAL_ID = {hal-02956402},
  HAL_VERSION = {v1},
}