An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2008

An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00293749 , version 1

Cite

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⟩
98 View
207 Download

Share

More