Enhancing numerical constraint propagation using multiple inclusion representations
type: Item
instance of: scholarly article
title: Enhancing numerical constraint propagation using multiple inclusion representations
zbMATH Open document ID: 1186.68445
author: Xuan-Ha Vu
author: Djamila Sam-Haroud
author: Boi Faltings
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-11-23T00:00:00Z
full work available at URL: http://infoscience.epfl.ch/record/159312
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5636907
zbMATH Keywords: numerical constraint satisfaction problems
describes a project that uses: RealPaver
describes a project that uses: ICOS
MaRDI profile type: Publication
OpenAlex ID: W2011704635
cites work: Q3345690
cites work: The essence of constraint propagation
cites work: Heterogeneous constraint solving
cites work: Applying interval arithmetic to real, integer, and boolean constraints
cites work: Lower bound functions for polynomials
cites work: Algorithm 852
cites work: Q4057485
cites work: Q4445267
cites work: Convex-concave extensions
cites work: Q2713275
cites work: A new method for global solution of systems of nonlinear equations
cites work: Automatic computation of a linear interval enclosure
cites work: A rigorous global filtering algorithm for quadratic constraints
cites work: Consistency in networks of relations
cites work: Comparison of interval methods for plotting algebraic curves
cites work: Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
cites work: Q3677502
cites work: Q5421933
cites work: Q4493453
cites work: Q5566070
cites work: Q3207999
cites work: Complete search in continuous global optimization and constraint satisfaction
cites work: Safe bounds in linear and mixed-integer linear programming
cites work: Interval Methods for Systems of Equations
cites work: Interval analysis on directed acyclic graphs for global optimization
cites work: Q4941400
cites work: Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
cites work: \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
cites work: Global Optimization and Constraint Satisfaction
cites work: Interval propagation and search on directed acyclic graphs for numerical constraint solving
DOI: 10.1007/S10472-009-9129-6
Recommended article: Improving linear constraint propagation by changing constraint representation
Recommended article: Multiset variable representations and constraint propagation
Recommended article: Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
Recommended article: Principles and Practice of Constraint Programming – CP 2004
Recommended article: Exploiting binary floating-point representations for constraint propagation
Recommended article: Increasing model building capabilities by constraint solving on terms with integer exponents
Recommended article: A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
Recommended article: Q4737847
description: scientific article; zbMATH DE number 5636907