Sciweavers

CP
2008
Springer

A Branch and Bound Algorithm for Numerical MAX-CSP

13 years 5 months ago
A Branch and Bound Algorithm for Numerical MAX-CSP
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem is over-constrained, the answer "no solution" is generally unsatisfactory. A Max-CSP Pm = V, D, C is a triple defining a constraint problem whose solutions maximize the number of satisfied constraints. In this paper, we focus on numerical CSPs, which are defined on real variables represented as floating point intervals and which constraints are numerical relations defined in intension. Solving such a problem (i.e., exactly characterizing its solution set) is generally undecidable and thus consists in providing approximations. We propose a Branch and Bound algorithm that provides under and over approximations of a solution set that maximize the maximum number mP of satisfied constraints. The technique is applied on three numeric applications and provides promising results.
Jean-Marie Normand, Alexandre Goldsztejn, Marc Chr
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CP
Authors Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou
Comments (0)