Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Artois (10)
  • Paris 11 (7)
  • Lille 1 (6)
  • Toulouse 3 (6)
  • Grenoble Alpes (5)
  • Nancy 1 (5)
  • Paris 6 (5)
  • Angers (4)
  • Orléans (4)
  • Besançon (3)
  • Rennes 1 (3)
  • Université Paris-Saclay (ComUE) (3)
  • Aix-Marseille (2)
  • Aix-Marseille 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble (2)
  • Normandie (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 13 (2)
  • Paris Saclay (2)
  • Reims (2)
  • Toulouse, ISAE (2)
  • Akademia Górniczo-Hutnicza (Cracovie, Pologne) (1)
  • Avignon (1)
  • Bordeaux (1)
  • Clermont-Ferrand 2 (1)
  • Compiègne (1)
  • Côte d'Azur (1)
  • Dijon (1)
  • Ecole centrale de Lille (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Institut polytechnique de Paris (1)
  • Lyon, INSA (1)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Mulhouse (1)
  • Nantes, Ecole des Mines (1)
  • Paris 7 (1)
  • Paris 8 (1)
  • Paris 9 (1)
  • Paris Sciences et Lettres (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 2 (1)
  • Toulouse, INPT (1)
  • Toulouse, INSA (1)
  • U tecnica federico santa maria - chili (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universita Karlova v Praze (1)
  • Università degli studi (Milan, Italie) (1)
  • Universität des Saarlandes (1)
  • Université de Lorraine (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Yaoundé I (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)
  • Valenciennes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (75)
  • Sciences appliquées (6)
  • Physique théorique (2)
  • Sciences et techniques (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Chimie (1)
  • Contrôles des Systèmes (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique, données, IA (1)
  • Informatique. Automatique et informatique des systèmes industriels et humains (1)
  • Ingénierie informatique (1)
  • Intelligence artificielle et robotique (1)
  • Mathématiques (1)
  • Mathématiques-Informatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Physique (1)
  • Productique, automatique et informatique industrielleProductique, automatique et informatique industrielle (1)
  • Recherche opérationnelle (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences appliquées. Informatique (1)
  • Sciences et techniques communes. Sciences appliquées (1)
  • Systèmes Informatiques (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (3)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (2)
  • IAEM Lorraine (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • ED Sciences pour l'ingénieur (n°72) (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (1)
  • I2S - Information, Structures, Systèmes (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • MATHSTIC (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Physique en Île-de-France (Paris) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (60)
  • anglais (38)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Saïs Lakhdar (8)
  • Tison Sophie (4)
  • Mazure Bertrand (3)
  • Becher Verónica (2)
  • Blackburn Patrick (2)
  • Bouchon-Meunier Bernadette (2)
  • Cayrol Michel (2)
  • Conchon Sylvain (2)
  • Gasquet Olivier (2)
  • Genevès Pierre (2)
  • Grégoire Eric (2)
  • Habet Djamal (2)
  • Hao Jin-Kao (2)
  • Monfroy Éric (2)
  • Monniaux David (2)
  • Plateau Gérard (2)
  • Roisin Cécile (2)
  • Saubion Frédéric (2)
  • Talbot Jean-Marc (2)
  • Abitboul Serge (1)
  • Althaus Ernst (1)
  • Anantharaman Siva (1)
  • Artigues Christian (1)
  • Audemard Gilles (1)
  • Benhamou Belaïd (1)
  • Bodeveix Jean-Paul (1)
  • Bonnet Grégory (1)
  • Borne Pierre (1)
  • Bouajjani Ahmed (1)
  • Bouchaud Jean-Philippe (1)
  • Bouzid Maroua (1)
  • Brinzei Nicolae (1)
  • Bruel Jean-Michel (1)
  • Bès Alexis (1)
  • Cabon Bertrand (1)
  • Carton Olivier (1)
  • Cavalli Ana (1)
  • Cerrito Serenella (1)
  • Chatalic Philippe (1)
  • Collet Philippe (1)
  • Condotta Jean-François (1)
  • Couvreur Jean-Michel (1)
  • Dague Philippe (1)
  • Debar Hervé (1)
  • Delmas Rémi (1)
  • Demongeot Jacques (1)
  • Demri Stéphane P. (1)
  • Devienne Philippe (1)
  • Dowek Gilles (1)
  • Feillet Dominique (1)
  • Filali Mamoun (1)
  • Filiot Emmanuel (1)
  • Fonlupt Jean (1)
  • Garoche Pierre-Loïc (1)
  • Gaudel Marie-Claude (1)
  • Gauwin Olivier (1)
  • Ghallab Malik (1)
  • Ghilardi Silvio (1)
  • Glade Nicolas (1)
  • Goranko Valentin (1)
  • Gustedt Jens (1)
  • Hacid Mohand Saïd (1)
  • Hamadi Youssef (1)
  • Hamid Brahim (1)
  • Hammadi Slim (1)
  • Hebrard Emmanuel (1)
  • Henrion Didier (1)
  • Iosif Radu (1)
  • Janis̃ Vaclav (1)
  • Jegou Philippe (1)
  • Jensen Thomas (1)
  • Jouanot Fabrice (1)
  • Julliand Jacques (1)
  • Jégou Philippe (1)
  • Kirchner Hélène (1)
  • Krajecki Michaël (1)
  • Lamolle Myriam (1)
  • Layaida Nabil (1)
  • Le Duc Chan (1)
  • Legay Axel (1)
  • Lengrand Stéphane (1)
  • Lepoutre François-Xavier (1)
  • Lerman Israël César (1)
  • Li Chumin (1)
  • Limet Sébastien (1)
  • Lombardi Henri (1)
  • Maler Oded (1)
  • Manoussakis Yannis (1)
  • Masson Pierre-Alain (1)
  • Mehlhorn Kurt (1)
  • Mendès Florence (1)
  • Merz Stephan (1)
  • Michelon Philippe (1)
  • Miquel Alexandre (1)
  • Moy Matthieu (1)
  • Méhaut Jean-François (1)
  • Mézard Marc (1)
  • Nicolle Christophe (1)
  • Padiou Gérard (1)
  • Pagetti Claire (1)
  • Paschos Vangelis T. (1)
  • Paul Christophe (1)
  • Perrin Guy-René (1)
  • Philippot Alexandre (1)
  • Pinchinat Sophie (1)
  • Pomerol Jean-Charles (1)
  • Pommereau Franck (1)
  • Quéinnec Philippe (1)
  • Ranise Silvio (1)
  • Riera Bernard (1)
  • Robbana Riadh (1)
  • Rousset Marie-Christine (1)
  • Rusinowitch Michaël (1)
  • Réty Pierre (1)
  • Schmitz Sylvain (1)
  • Sebag Michèle (1)
  • Seydi Hamet (1)
  • Siegel Pierre (1)
  • Sighireanu Mihaela (1)
  • Simon Jean-Claude (1)
  • Simon Laurent (1)
  • Sourlas Nicolas (1)
  • Spehner Jean-Claude (1)
  • Tchuenté Maurice (1)
  • Termier Alexandre (1)
  • Toumani Farouk (1)
  • Vieira De Melo Ana Cristina (1)
  • Vilarem M.-C. (1)
  • Vrain Christel (1)
  • Zamponi Francesco (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (83)
  • Sciences de l'ingénieur (14)
  • Informatique, information, généralités (4)
  • Mathématiques (3)
  • Physique (3)
  • Sciences de la nature et mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Chimie, minéralogie, cristallographie (1)
  • Médecine et santé (1)

Domaines :

Fullscreen

106 thèses pour "Satisfiabilité"

Informatique et mathématiques appliquées

Soutenue en 2009
thèse soutenue
Informatique

Soutenue en 1991
thèse soutenue

Satisfiabilité propositionnelle et théorie des graphes

par Mohamed Yazid Boumarafi sous la direction de Lakhdar Saïs - Artois

Informatique

Soutenue le 13-12-2019
 thèse en cours de préparation

...nullContributions a`lar´esolution duproble`me de la Satisfiabilite...

Accéder en ligne
Sciences appliquées

Soutenue en 1989
thèse soutenue

Résultats 1 à 10