References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Araya, Ignacio; Neveu, Bertrand: \textttlsmear: a variable selection strategy for interval branch and bound solvers (2018)
  2. Martin, Benjamin; Goldsztejn, Alexandre; Granvilliers, Laurent; Jermann, Christophe: Constraint propagation using dominance in interval branch & bound for nonlinear biobjective optimization (2017)
  3. Araya, Ignacio; Reyes, Victor: Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (2016)
  4. Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio: Adaptive constructive interval disjunction: algorithms and experiments (2015)
  5. Araya, Ignacio; Trombettoni, Gilles; Neveu, Bertrand; Chabert, Gilles: Upper bounding in inner regions for global optimization under inequality constraints (2014)
  6. Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric: The octagon abstract domain for continuous constraints (2014)
  7. Sandretto, Julien Alexandre Dit; Trombettoni, Gilles; Daney, David: Interval methods for model qualification: methodology and advanced application (2014)
  8. Kiel, Stefan; Luther, Wolfram; Dyllong, Eva: Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures (2013) ioport
  9. Araya, Ignacio; Neveu, Bertrand; Trombettoni, Gilles: An interval extension based on occurrence grouping (2012)
  10. Dyllong, Eva; Kiel, Stefan: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (2012)
  11. Fünfzig, Christoph; Michelucci, Dominique; Foufou, Sebti: Polytope-based computation of polynomial ranges (2012)
  12. Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe: Interval-based projection method for under-constrained numerical systems (2012)
  13. Araya, Ignacio; Trombettoni, Gilles; Neveu, Bertrand: Making adaptive an interval constraint propagation algorithm exploiting monotonicity (2010) ioport