The octagon abstract domain for continuous constraints

DOI10.1007/s10601-014-9162-xzbMath1338.90393OpenAlexW2001862609MaRDI QIDQ2342596

Frédéric Benhamou, Marie Pelleau, Charlotte Truchet

Publication date: 29 April 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-014-9162-x

zbMATH Keywords

abstract domainscontinuous constraintsgeneric solveroctagonal domains

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Related Items (2)

Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals ⋮ Incrementally closing octagons

Uses Software

• IbexOpt
• Algorithm 97

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contractor programming
• The octagon abstract domain
• A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
• The essence of constraint propagation
• Heterogeneous constraint solving
• Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
• Inequality-sum: a global constraint capturing the objective function

This page was built for publication: The octagon abstract domain for continuous constraints