Skip to Main content Skip to Navigation
Theses

Estimating the number of solutions on cardinality constraints

Résumé : La richesse de la programmation par contraintes repose sur la très large variété des algorithmes qu’elle utilise en puisant dans les grands domaines de l’Intelligence Artificielle, de la Programmation Logique et de la Recherche Opérationnelle. Cependant, cette richesse, qui offre aux spécialistes une palette quasi-illimitée de configurations possibles pour attaquer des problèmes combinatoires, devient une frein à la diffusion plus large du paradigme, car les outils actuels sont très loin d’une boîte noire, et leur utilisation suppose une bonne connaissance du domaine, notamment en ce qui concerne leur paramétrage. Dans cette thèse, nous proposons d’analyser le comportement des contraintes de cardinalité avec des modèles probabilistes et des outils de dénombrement, pour paramétrer automatiquement les solveurs de contraintes : heuristiques de choix de variables et de choix de valeurs et stratégies de recherche.
Document type :
Theses
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02408009
Contributor : Abes Star :  Contact
Submitted on : Thursday, December 12, 2019 - 5:16:08 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:41 PM
Document(s) archivé(s) le : Friday, March 13, 2020 - 11:23:28 PM

File

2019IMTA0155_LoBianco-Giovanni...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02408009, version 1

Citation

Giovanni Christian Lo Bianco Accou. Estimating the number of solutions on cardinality constraints. Combinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩. ⟨tel-02408009⟩

Share

Metrics

Record views

226

Files downloads

76