Global constraints and splitting strategies for solving continuous CSP
type: Dataset
contact point: Organization
  fn: CCSD
keyword: constraint-programming
keyword: analyse-par-intervalles
keyword: heuristiques-de-recherche
keyword: distance-constraints
keyword: contraintes-de-distance
keyword: csp-continus
keyword: br-contraintes-globales
keyword: continuous-csps
keyword: programmation-par-contraintes
keyword: globalbr-constraints
keyword: interval-analysis
keyword: theses
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: splitting-techniques
landing page: https://theses.hal.science/tel-00091375
description: Distance constraints are widely used in many applications ranging from robotics to chemistry and CAD. Classical tehniques for solving such continuous constraints are based on a branch and prune algorithm which combines domain filtering techniques (local consistencies) and domain splitting. The main drawback of these methods comes from the fact that constraints are handled independently and in a blind way i.e., local consistencies do not take advantage of the specific semantic properties of the constraints. We introduce in this thesis two approaches for the design of a global constraint for distance relations. The first technique is based on the introduction of redundant constraints direcly infered from geometrical properties of the system. The second approach is a dedicated global filtering algorithm. This work led to the design of a domain decomposition technique which exploits the particular structure of the distance relations. Lastly, we generalize this splitting strategy to a larger class of numerical constraints.
issued: 2026-05-07T23:18:17.194340
language: fr
modified: 2026-05-07T23:18:17.194345

test_moissonnage_selune
type: Agent

Global constraints and splitting strategies for solving continuous CSP
type: Distribution
access URL: https://theses.hal.science/tel-00091375
format: HTML
issued: 2026-05-07T23:18:17.203552
modified: 2026-05-07T23:18:17.178219