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 is a triple defining a constraint problem whose solutions maximise constraint satisfaction. 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 extension. 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 computes under and over approximations of its solution set and determines the maximum number of satisfied constraints. The technique is applied on three numeric applications and provides promising results. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Normand, J. M., Goldsztejn, A., Christie, M., & Benhamou, F. (2008). A branch and bound algorithm for numerical MAX-CSP. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5202 LNCS, pp. 205–219). https://doi.org/10.1007/978-3-540-85958-1_14
Mendeley helps you to discover research relevant for your work.