Heikel Batnini

Learn More
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In many interval solvers, the pruning step is based on local consistencies (Hull-Consistency [1, 2], Box-consistency [3–5]) or partial consistencies (kB-consistencies [1, 6],(More)
Cet article présente un algorithme de filtrage global pour résoudre les systèmes d'équa-tions de distance. Cette nouvelle technique nommée QuadDist est dérivée de Quad, une technique de filtrage global pour les contraintes quadratiques [LRM02]. Quad calcule une relaxation linéaire des termes quadratiques des équations et utilise l'algorithme du simplexe(More)
La plupart des outils pour la résolution de CSP continus s'appuient sur des consistances locales qui encadrent l'espace solution. Les solveurs de contraintes combinent ces techniques avec des techniques de recherche systématiques qui ne tiennent pas compte de la sémantique des contraintes. C'est particulièrement le cas des contraintes géométriques. Nous(More)
  • 1