Skip to Main content Skip to Navigation
Conference papers

Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux

Résumé : Cette communication présente une approche de représentation de contraintes continues. La méthode de discrétisation dynamique des domaines des variables définit une représentation de l'espace de recherche sous la forme d'un arbre appelé QuadTree dans le cas de contraintes binaires. Nous proposons une extension de cette méthode pour prendre en compte les contraintes continues exprimées comme des fonctions par morceaux. La première section introduit la méthode de génération de QuadTrees. La seconde section propose une définition des contraintes définies par des fonctions par morceaux. Enfin, la troisième section propose une extension de la méthode de QuadTree permettant de prendre en compte ce type de contraintes.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00000084
Contributor : Christine Solnon <>
Submitted on : Thursday, May 26, 2005 - 2:09:02 PM
Last modification on : Wednesday, June 24, 2020 - 4:18:29 PM
Long-term archiving on: : Thursday, April 1, 2010 - 9:34:12 PM

Files

Identifiers

  • HAL Id : inria-00000084, version 1

Citation

Élise Vareilles, Khaled Hadj-Hammou, Michel Aldanondo, Paul Gaborit. Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.219-228. ⟨inria-00000084⟩

Share

Metrics

Record views

260

Files downloads

59

  翻译: