An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2008

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.
Fichier principal
Vignette du fichier
page373.pdf (174 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00293749 , version 1 (07-07-2008)

Identifiants

  • HAL Id : inria-00293749 , version 1

Citer

Alexandre Goldsztejn, Claude Michel, Michel Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.373. ⟨inria-00293749⟩
108 Consultations
207 Téléchargements

Partager

More