@InProceedings{cgj-scan18,
  Title                    = {Solving under-constrained numerical constraint satisfaction problems with IBEX},
  Author                   = {G. Chabert, A. Goldsztejn and C. Jermann},
  Note                     = {Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations ({SCAN})},
  Month                    = {09},
  Year                     = {2018},
  Entrysubtype             = {CI}
}