<  Back to the Polytechnique Montréal portal

Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables

Christian Desrosiers

Masters thesis (2004)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (10MB)
Cite this document: Desrosiers, C. (2004). Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables (Masters thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/8176/
Show abstract Hide abstract

Abstract

Satisfaction de contraintes -- Sous-systèmes incohérents irréductibles -- Le coloriage de graphe -- Historique des IIS -- IIS et la programmaiton linéaire -- IIs et le support à la décision -- IIS et SAT -- IIS et le coloriage de graphe -- IIS et le problème de recouvrement d'ensembles -- Algorithmes exacts de détection d'IIS -- Algorithmes heuristiques de détection d'IIS -- Méta-heuristiques pour les problèmes de satisfaction -- Algorithmes heuristiques de détection d'IIS -- Stratégies de récupération d'erreur -- Technique d'accélération de détection -- Expérimentation et analyse des résultats -- Description des méthodes et paramètres -- Description des données -- Détection d'IIS de contraintes versus variables -- Détection d'IIS avec l'algorithme de hitting set -- Influence des heuristiques de détection -- Bornes inférieures sur la taille d'IIS minimum -- Détection d'IIS sur les instances aléatoires -- Détection d'IIS sur les instances de référence -- Temps de calcul des algorithmes de détection.

Uncontrolled Keywords

Optimisation combinatoire; Contraintes (Intelligence artificielle); Coloriage de graphes

Open Access document in PolyPublie
Additional Information: Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/551876036
Department: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:58
PolyPublie URL: https://publications.polymtl.ca/8176/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only