Skip to contents

  1. Lagniez, Jean-Marie [Author] ; Artois [Contributor]; Saïs, Lakhdar [Contributor]; Audemard, Gilles [Contributor]; Mazure, Bertrand [Contributor]

    Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes ; Propositional satisfiability and constraints satisfaction problems : models and algorithms

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-12-06

  2. Daoudi, Abderrazak [Author] ; Montpellier [Contributor]; Université Mohammed V (Rabat) [Contributor]; Bessière, Christian [Contributor]

    Acquisition de contraintes par apprentissage de structures ; Learning and Using Structures for Constraint Acquisition

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-05-10

  4. Briquel, Irénée [Author] ; Lyon, École normale supérieure [Contributor]; City university of Hong Kong [Contributor]; Koiran, Pascal [Contributor]; Cucker, Felipe [Contributor]

    Complexity issues in counting, polynomial evaluation and zero finding ; Complexité de problèmes de comptage, d’évaluation et de recherche de racines de polynômes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-11-29

  5. Blet, Loïc [Author] ; Lyon, INSA [Contributor]; Solnon, Christine [Contributor]

    Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes ; Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-09-30

  6. Karoui, Wafa [Author] ; Toulouse, INSA [Contributor]; Université de Tunis El Manar [Contributor]; Lopez, Pierre [Contributor]; Haouari, Mohamed [Contributor]

    Méthodes à divergences pour la résolution de problèmes de satisfaction de contraintes et d'optimisation combinatoire ; Discrepancy-based search for constraint satisfaction and combinatorial optimisation problems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2010-10-09

  8. Carbonnel, Clément [Author] ; Toulouse, INPT [Contributor]; Cooper, Martin C. [Contributor]; Hebrard, Emmanuel [Contributor]

    Harnessing tractability in constraint satisfaction problems ; Algorithmes paramétrés pour des problèmes de satisfaction de contraintes presque traitables

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-12-07

  9. Ziat, Ghiles [Author] ; Sorbonne université [Contributor]; Miné, Antoine [Contributor]; Truchet, Charlotte [Contributor]

    A combination of abstract interpretation and constraint programming ; Une combinaison d'interprétation abstraite et de programmation par contraintes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2019-07-03

  10. Abeille, Joël [Author] ; Toulouse, INPT [Contributor]; Geneste, Laurent [Contributor]; Aldanondo, Michel [Contributor]

    Vers un couplage des processus de conception de systèmes et de planification de projets : formalisation de connaissances méthodologiques et de connaissances métier ; Towards a coupling of system design and project planning processes : formalization of methodological knowledge and business knowledge

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-07-06

  11. Wahbi, Mohamed [Author] ; Montpellier 2 [Contributor]; Université Mohammed V-Agdal (Rabat, Maroc [Contributor]; 1993-2014) [Contributor]; Bessière, Christian [Contributor]; Bouyakhf, El-Houssine [Contributor]

    Algorithms and ordering heuristics for distributed constraint satisfaction problems ; Algorithmes de résolution et heuristiques d'ordonnancement pour les problèmes de satisfaction de contraintes distribués

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2012-07-03

  12. Vautard, Jérémie [Author] ; Orléans [Contributor]; Lallouet, Arnaud [Contributor]

    Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées ; Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2010-04-15

  13. Kueviakoe, Kangni [Author] ; Paris 11 [Contributor]; Lambert, Alain [Contributor]; Tarroux, Philippe [Contributor]

    Localisation multi-capteurs garantie : résolution d'un problème de satisfaction de contraintes ; Guaranteed multi-sensor localisation : solving a constraint satisfaction problem

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2014-09-30

  15. Nguyen, Thi Hong Hiep [Author] ; Toulouse 3 [Contributor]; Schiex, Thomas [Contributor]; Bessière, Christian [Contributor]

    Strong consistencies for weighted constraint satisfaction problems ; Cohérences fortes pour les problèmes de satisfaction de contraintes pondérées

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-01-15

  16. Saad, Belaïd [Author] ; Metz [Contributor]; Kratsch, Dieter [Contributor]

    Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances ; Integrating the pattern of secure distributed constraint satisfaction problems in expert systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2010-12-10