A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le tag 'programmation par contraintes'
Affiner la recherche Interroger des sources externesModélisation et Algorithmes de Résolution de Problèmes Sur-Contraints / T. PETIT
Titre : Modélisation et Algorithmes de Résolution de Problèmes Sur-Contraints Type de document : texte imprimé Auteurs : T. PETIT, Auteur Année de publication : 2002 Langues : Français (fre) Tags : PROGRAMMATION PAR CONTRAINTES CSP PROBLEMES-SUR-CONTRAINTS CONTRAINTES MOLLES PROBLEMES D'OPTIMISATION PROGRAMMATION PAR CONTRAINTES CSP PROBLEMES D'OPTIMISATION CONSTRAINT PROGRAMMING CSP OPTIMIZATION PROBLEMS Index. décimale : THE Thèses de doctorat Résumé : Cette thèse présente des outils de modélisation et de résolution de problèmes sur-contraints. D'une part, un nouveau paradigme est proposé. Il offre une expressivité supérieure à l'existant et il permet de modéliser des problèmes sur-contraints à l'aide de systèmes de résolution de CSP classiques. D'autre part, le meilleur algorithme de résolution du problème Max-CSP est généralisé afin de traiter des contraintes non binaires et des applications nécessitant de définir des variables ayant de grands domaines, comme par exemple les problèmes d'ordonnancement. Enfin, la force de la programmation par contraintes étant liée à la puissance des algorithmes de filtrage employés, nous étendons à des contraintes relachées le concept de contrainte globale. Ce principe est illustré par une étude algorithmique et expérimentale de la contrainte "AllDiff" dans sa version relachée.
In this work, we present some new algorithms and a new framework for solving over-constrained problems. The new paradigm we introduce is more expressive than existing ones and it allows to deal with over-constrained problems by using classical constraint solvers. The best existing algorithm for Max-CSP is generalized to non binary constraints and to problems involving huge domains, as scheduling problems. Moreover, constraint programming success was proven to be strongly linked to the efficiency of global filtering algorithms. We extend the concept of "global constraint" to constraints that can be violated. We validate the interest of this concept by a study of the relaxed "AllDiff" constraint.Directeur(s) de thèse : BESSIERE C. Co-directeur(s) de thèse : REGIN J.C. Président du jury : HABIB M. Rapporteur(s) : CODOGNET P.;LARROSA J. Examinateur(s) : PUGET J.F. Date de soutenance : 29/11/2002 Modélisation et Algorithmes de Résolution de Problèmes Sur-Contraints [texte imprimé] / T. PETIT, Auteur . - 2002.
Langues : Français (fre)
Tags : PROGRAMMATION PAR CONTRAINTES CSP PROBLEMES-SUR-CONTRAINTS CONTRAINTES MOLLES PROBLEMES D'OPTIMISATION PROGRAMMATION PAR CONTRAINTES CSP PROBLEMES D'OPTIMISATION CONSTRAINT PROGRAMMING CSP OPTIMIZATION PROBLEMS Index. décimale : THE Thèses de doctorat Résumé : Cette thèse présente des outils de modélisation et de résolution de problèmes sur-contraints. D'une part, un nouveau paradigme est proposé. Il offre une expressivité supérieure à l'existant et il permet de modéliser des problèmes sur-contraints à l'aide de systèmes de résolution de CSP classiques. D'autre part, le meilleur algorithme de résolution du problème Max-CSP est généralisé afin de traiter des contraintes non binaires et des applications nécessitant de définir des variables ayant de grands domaines, comme par exemple les problèmes d'ordonnancement. Enfin, la force de la programmation par contraintes étant liée à la puissance des algorithmes de filtrage employés, nous étendons à des contraintes relachées le concept de contrainte globale. Ce principe est illustré par une étude algorithmique et expérimentale de la contrainte "AllDiff" dans sa version relachée.
In this work, we present some new algorithms and a new framework for solving over-constrained problems. The new paradigm we introduce is more expressive than existing ones and it allows to deal with over-constrained problems by using classical constraint solvers. The best existing algorithm for Max-CSP is generalized to non binary constraints and to problems involving huge domains, as scheduling problems. Moreover, constraint programming success was proven to be strongly linked to the efficiency of global filtering algorithms. We extend the concept of "global constraint" to constraints that can be violated. We validate the interest of this concept by a study of the relaxed "AllDiff" constraint.Directeur(s) de thèse : BESSIERE C. Co-directeur(s) de thèse : REGIN J.C. Président du jury : HABIB M. Rapporteur(s) : CODOGNET P.;LARROSA J. Examinateur(s) : PUGET J.F. Date de soutenance : 29/11/2002 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-02 / 7468 Papier THESES INFORMATIQUE Disponible Documents numériques
Fichier (PDF)URL
Titre : Tree-Based Graph Partitioning Constraint Type de document : texte imprimé Auteurs : Xavier Lorca, Auteur Editeur : John Wiley & Sons Année de publication : 2011 Importance : 240 p. ISBN/ISSN/EAN : 978-1-84821-303-6 Langues : Anglais (eng) Tags : Programmation par contraintes algorithmes de graphes modélisation optimisation combinatoire Index. décimale : G1 G1 - Mathématiques Tree-Based Graph Partitioning Constraint [texte imprimé] / Xavier Lorca, Auteur . - [S.l.] : John Wiley & Sons, 2011 . - 240 p.
ISBN : 978-1-84821-303-6
Langues : Anglais (eng)
Tags : Programmation par contraintes algorithmes de graphes modélisation optimisation combinatoire Index. décimale : G1 G1 - Mathématiques Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité G1 / 15228 Papier OUVRAGES GENERALITES Emprunté par: Eric Bourreau
Sorti jusqu'au 11/10/2012
Titre : Constraint Networks : Techniques and Algorithms Type de document : texte imprimé Auteurs : Christophe Lecoutre, Auteur Editeur : IEEE/John Wiley & Sons Année de publication : 2009 Importance : 586 p. ISBN/ISSN/EAN : 978-1-84821-106-3 Langues : Anglais (eng) Tags : Intelligence artificielle programmation par contraintes Index. décimale : I4 I4 - Intelligence Artificielle Constraint Networks : Techniques and Algorithms [texte imprimé] / Christophe Lecoutre, Auteur . - [S.l.] : IEEE/John Wiley & Sons, 2009 . - 586 p.
ISBN : 978-1-84821-106-3
Langues : Anglais (eng)
Tags : Intelligence artificielle programmation par contraintes Index. décimale : I4 I4 - Intelligence Artificielle Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité G1 / 15315 Papier OUVRAGES INFORMATIQUE Disponible
Titre : Problème SAT - Progrès et Défis Type de document : texte imprimé Auteurs : Lakhdar SAÏS, Auteur Editeur : Hermès Sciences Année de publication : 2008 Importance : 352 p. ISBN/ISSN/EAN : 978-2-7462-1886-4 Langues : Inconnue (und) Tags : INTELLIGENCE ARTIFICIELLE PROGRAMMATION PAR CONTRAINTES Index. décimale : I1 I1 - Informatique Théorique Problème SAT - Progrès et Défis [texte imprimé] / Lakhdar SAÏS, Auteur . - [S.l.] : Hermès Sciences, 2008 . - 352 p.
ISBN : 978-2-7462-1886-4
Langues : Inconnue (und)
Tags : INTELLIGENCE ARTIFICIELLE PROGRAMMATION PAR CONTRAINTES Index. décimale : I1 I1 - Informatique Théorique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I1 / 13530 Papier OUVRAGES INFORMATIQUE Emprunté par: Khalil Ben Mohamed
Sorti jusqu'au 31/05/2011I1 / 13530-2 Papier OUVRAGES INFORMATIQUE Emprunté par: Rémi Coletta
Sorti jusqu'au 31/07/2011
Titre : The Handbook of Constraint Programming Type de document : texte imprimé Auteurs : F. ROSSI, Auteur ; P. VANBEEK, Auteur ; T. WALSH, Auteur Editeur : Elsevier Année de publication : 2006 Importance : 955 p. ISBN/ISSN/EAN : 978-0-444-52726-4 Langues : Inconnue (und) Tags : Intelligence Artificielle Programmation par contraintes Index. décimale : I4 I4 - Intelligence Artificielle The Handbook of Constraint Programming [texte imprimé] / F. ROSSI, Auteur ; P. VANBEEK, Auteur ; T. WALSH, Auteur . - [S.l.] : Elsevier, 2006 . - 955 p.
ISBN : 978-0-444-52726-4
Langues : Inconnue (und)
Tags : Intelligence Artificielle Programmation par contraintes Index. décimale : I4 I4 - Intelligence Artificielle Réservation
Réserver ce document (Actuellement 1 réservation(s) en cours sur cet ouvrage)
Exemplaires
Cote Support Localisation Section Notes Disponibilité I4 / 13192 Papier OUVRAGES INFORMATIQUE Disponible I4 / 15266 Papier OUVRAGES INFORMATIQUE Emprunté par: Jean-Philippe Prost
Sorti jusqu'au 11/12/2012I4 / 15267 Papier OUVRAGES INFORMATIQUE Disponible
