An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities

Résumé : Ce papier présente un nouvel algorithme pour la résolution d'une sous-classe de problèmes contraints quantifiés sur le continu (QCSP) pour lesquels les quantificateurs existentiels précèdent les quantificateurs universels. Cette classe de QCSPs possède un remarquable potentiel d'applications dans les domaines de l'ingénierie et de la conception. Nous proposons un nouvel algorithme générique pour résoudre de tels QCSPs. Les opérateurs standard de filtrage et d'identification des solutions sont spécialisés pour des inegalités quantifiées universellement. Des règles spécifiques sont aussi proposées pour traiter les paramètres des contraintes. Les premières expérimentations montrent que les performances de notre algorithme sont bien meilleures que celles des méthodes classiques.
Type de document :
Communication dans un congrès
Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.373, 2008
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00293749
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : lundi 7 juillet 2008 - 15:00:45
Dernière modification le : jeudi 5 avril 2018 - 10:36:49
Document(s) archivé(s) le : vendredi 28 mai 2010 - 21:32:10

Fichier

page373.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00293749, version 1

Citation

Alexandre Goldsztejn, Claude Michel, Michel Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.373, 2008. 〈inria-00293749〉

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

42