Sweeping with Continuous Domains.

Gilles Chabert 1 Nicolas Beldiceanu 1
1 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : The geost constraint has been proposed to model and solve discrete placement problems involving multi-dimensional boxes (packing in space and time). The filtering technique is based on a sweeping algorithm that requires the ability for each constraint to compute a forbidden box around a given fixed point and within a surrounding area. Several cases have been studied so far, including integer linear inequalities. Motivated by the placement of objects with curved shapes, this paper shows how to implement this service for continuous constraints with arbitrary mathematical expressions. The approach relies on symbolic processing and defines a new interval arithmetic.
Type de document :
Communication dans un congrès
David Cohen. Principles and Practice of Constraint Programming - CP 2010, Oct 2010, St. Andrews, United Kingdom. Springer, 6308, pp.137-151, 2010, <10.1007/978-3-642-15396-9_14>
Liste complète des métadonnées

https://hal.inria.fr/hal-00915701
Contributeur : Contraintes Lina <>
Soumis le : lundi 9 décembre 2013 - 11:40:46
Dernière modification le : lundi 5 octobre 2015 - 17:00:06

Identifiants

Collections

Citation

Gilles Chabert, Nicolas Beldiceanu. Sweeping with Continuous Domains.. David Cohen. Principles and Practice of Constraint Programming - CP 2010, Oct 2010, St. Andrews, United Kingdom. Springer, 6308, pp.137-151, 2010, <10.1007/978-3-642-15396-9_14>. <hal-00915701>

Partager

Métriques

Consultations de la notice

177