Sciweavers

CP
2010
Springer
13 years 3 months ago
A Box-Consistency Contractor Based on Extremal Functions
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
Gilles Trombettoni, Yves Papegay, Gilles Chabert, ...
CP
2010
Springer
13 years 3 months ago
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
A new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), has recently been proposed. Mohc exploits monotonicity of functions to better filter var...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
AAAI
2010
13 years 6 months ago
Exploiting Monotonicity in Interval Constraint Propagation
We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is sta...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
EPIA
2001
Springer
13 years 9 months ago
Global Hull Consistency with Local Search for Continuous Constraint Solving
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
Jorge Cruz, Pedro Barahona