Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (33)
  • Université Grenoble Alpes (ComUE) (17)
  • Grenoble (15)
  • Université de Lorraine (15)
  • Artois (9)
  • Paris, ENSAM (9)
  • Aix-Marseille (7)
  • Toulouse 3 (7)
  • Toulouse, ISAE (7)
  • Rennes 1 (6)
  • Université Côte d'Azur (ComUE) (6)
  • Bordeaux (4)
  • Cachan, Ecole normale supérieure (4)
  • Ecole centrale de Nantes (4)
  • Nancy 1 (4)
  • Normandie (4)
  • Orléans (4)
  • Paris, CNAM (4)
  • Reims (4)
  • Sorbonne université (4)
  • Troyes (4)
  • université Paris-Saclay (4)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • Lyon (3)
  • Montpellier (3)
  • Paris Sciences et Lettres (3)
  • Sorbonne Paris Cité (3)
  • Toulouse, INSA (3)
  • Amiens (2)
  • Angers (2)
  • Belfort-Montbéliard (2)
  • Besançon (2)
  • Bourgogne Franche-Comté (2)
  • La Réunion (2)
  • Limoges (2)
  • Lorient (2)
  • Lyon 1 (2)
  • Nantes (2)
  • Paris Est (2)
  • Pau (2)
  • Aix-Marseille 1 (1)
  • Aix-Marseille 2 (1)
  • Bourges, INSA Centre Val de Loire (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont Auvergne (1)
  • Clermont-Ferrand 2 (1)
  • Ecole centrale de Lille (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble 1 (1)
  • Grenoble Alpes (1)
  • Institut polytechnique de Paris (1)
  • Lyon, INSA (1)
  • Metz (1)
  • Nice (1)
  • Otto-von-Guericke-Universität Magdeburg (1)
  • Paris 11 (1)
  • Paris 13 (1)
  • Paris 6 (1)
  • Paris, AgroParisTech (1)
  • Paris, ENST (1)
  • Rennes, INSA (1)
  • Strasbourg (1)
  • Toulon (1)
  • Toulouse 1 (1)
  • Toulouse, INPT (1)
  • UNIVERSITE DE TRENTE (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università degli studi (Milan, Italie) (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Libanaise (Liban) (1)
  • Université d'Oran (1)
  • Université de Montréal (1)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Univerzitet u Novom Sadu (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (100)
  • Mathématiques appliquées (13)
  • Automatique (6)
  • Génie électrique (4)
  • Mathématiques (4)
  • Mécanique-matériaux (4)
  • Optimisation et Sûreté des Systèmes (3)
  • Énergétique (3)
  • Dynamique des fluides (2)
  • Génie civil (2)
  • Informatique et Systèmes embarqués (2)
  • Informatique et applications (2)
  • Mathématiques Appliquées (2)
  • Mathématiques et Informatique (2)
  • Mathématiques et informatique (2)
  • Matériaux, Mécanique, Génie civil, Electrochimie (2)
  • Mécanique (2)
  • Mécanique des fluides (2)
  • Mécanique des fluides, procédés, énergétique (2)
  • Mécanique des solides (2)
  • Mécanique et physique des fluides (2)
  • Mécanique et énergétique (2)
  • Nanoélectronique et nanotechnologie (2)
  • Physique (2)
  • Réseaux, télécom, système et architecture (2)
  • Sciences - STS (2)
  • Sciences de la Terre et de l'Univers et de l'Environnement (2)
  • Sciences et technologie industrielles (2)
  • Stic (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Astronomie et Astrophysique (1)
  • Astrophysique (1)
  • Astrophysique et milieux dilues (1)
  • Automatique et Informatique (1)
  • Automatique productique (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, signal et télécommunications (1)
  • Biologie végétale et forestière (1)
  • Biomécanique (AM) (1)
  • Chimie (1)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (1)
  • Electronique des hautes fréquences, photonique et systèmes (1)
  • Energétique (1)
  • Energétique et transferts (1)
  • Energétique, thermique, combustion (1)
  • Fusion magnétique (1)
  • Génie civil et Sciences de l'habitat (1)
  • Génie civil et sciences de l'habitat (1)
  • Génie des procédés (1)
  • Génie mécanique - procédés de fabrication (1)
  • Génie thermique et énergétique (1)
  • Géochimie (1)
  • Géosciences (1)
  • Informatique et Génie Industriel (1)
  • Informatique et Télécommunications (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique et réseaux (1)
  • Informatique, données, IA (1)
  • Informatique. Intelligence artificielle (1)
  • Informatique. Recherche opérationnelle et optimisation (1)
  • Lasers, matière et nanosciences (1)
  • Mathématiques et leurs Intéractions (1)
  • Mathématiques, informatique, automatique (1)
  • Microélectronique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique et Ingénierie (1)
  • Mécanique numérique et Matériaux (1)
  • Mécanique énergétique (1)
  • Mécanique, génie mécanique (1)
  • Mécanique, génie mécanique, génie civil (1)
  • Mécanique-matériaux (AM) (1)
  • Météorologie (1)
  • Océan, Atmosphère, Climat (1)
  • Physique du bâtiment, énergie et environnement (1)
  • Physique. Astronomie, Astrophysique (1)
  • Productique - Mécanique (1)
  • Sciences appliquées (1)
  • Sciences et Techniques de l'Environnement (1)
  • Sciences et technologies industrielles (1)
  • Sciences physiques (1)
  • Sciences pour l'ingénieur (1)
  • Sciences. Informatique (1)
  • Sociologie (1)
  • Surfaces Interfaces Continentales Hydrologie (1)
  • Systèmes Mécaniques et Matériaux (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traitement du signal et de l'image (1)
  • Électronique (1)
  • Électronique Électrotechnique Automatique (1)
  • Énergie nucléaire (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (16)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (14)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (13)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (11)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (9)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (9)
  • École doctorale Sciences pour l'Ingénieur (Lille) (8)
  • École doctorale Informatique, télécommunications et électronique de Paris (7)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (6)
  • École doctorale Systèmes (Toulouse) (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (5)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (5)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (5)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (5)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (5)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (4)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (4)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (4)
  • I2S - Information, Structures, Systèmes (3)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (3)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (3)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (3)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (2)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (2)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (2)
  • Ed Sis 488 (2)
  • IAEM Lorraine (2)
  • Informatique, télécommunications et électronique de Paris (2)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (2)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (2)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (2)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences pour l'ingénieur (Nantes) (2)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • École doctorale terre, univers, environnement (Grenoble) (2)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2000-2015 ; Paris) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • MATHSTIC (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • École Doctorale Electronique, Electrotechnique, Automatique (Lyon) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Systèmes (Toulouse) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (1)
  • École doctorale Sciences mathématiques de Paris centre (1)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale physique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (168)
  • anglais (76)
  • portugais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Merz Stephan (5)
  • Saïs Lakhdar (4)
  • Audemard Gilles (3)
  • Bakir Farid (3)
  • Ghidaglia Jean-Michel (3)
  • Khelladi Sofiane (3)
  • Maler Oded (3)
  • Monfroy Éric (3)
  • Simon Laurent (3)
  • Boizumault Patrice (2)
  • Bouyekhf Rachid (2)
  • Charpillet François (2)
  • Conchon Sylvain (2)
  • Congedo Pietro Marco (2)
  • Dague Philippe (2)
  • Delahaye David (2)
  • Dubois Catherine (2)
  • Elloumi Sourour (2)
  • Goncalves Da Silva Eric (2)
  • Henrion Didier (2)
  • Huchard Marianne (2)
  • Julliand Jacques (2)
  • Kordon Fabrice (2)
  • Li Chumin (2)
  • Masson Pierre-Alain (2)
  • Massot Marc (2)
  • Monniaux David (2)
  • Monédière Thierry (2)
  • Morin-Allory Katell (2)
  • Oquendo Flavio (2)
  • Prud'homme Christophe (2)
  • Ramdani Nacim (2)
  • Roux Olivier (2)
  • Saubion Frédéric (2)
  • Siegel Anne (2)
  • Thévenot Marc (2)
  • Vuyst Florian de (2)
  • Wolff Burkhart (2)
  • Woloszyn Monika (2)
  • Abed-Meraim Farid (1)
  • Agón Carlos (1)
  • Alamir Mazen (1)
  • Alazard Daniel (1)
  • Aldanondo Michel (1)
  • Allaire Grégoire (1)
  • Anthoine Jérôme (1)
  • Aubert Dominique (1)
  • Audit Edouard (1)
  • Baarir Souheib (1)
  • Balan Tudor (1)
  • Ballarini Paolo (1)
  • Barakat Georges (1)
  • Barbe Sophie (1)
  • Bardin Sébastien (1)
  • Barkaoui Kamel (1)
  • Bastide Alain (1)
  • Belala Faiza (1)
  • Ben Ameur Walid (1)
  • Benelmir Riad (1)
  • Benhamou Belaïd (1)
  • Berkani Karim (1)
  • Bernard Alain (1)
  • Bernot Gilles (1)
  • Berruet Pascal (1)
  • Berthe Laurent (1)
  • Bertolazzi Enrico (1)
  • Blache Philippe (1)
  • Blanqui Frédéric (1)
  • Blazy Sandrine (1)
  • Bodson Marc (1)
  • Bonnay Patrick (1)
  • Bonometti Thomas (1)
  • Borde Etienne (1)
  • Borrione Dominique (1)
  • Bouquet Fabrice (1)
  • Bourgeois Stéphane (1)
  • Boëdec Gwenn (1)
  • Brendel Oliver (1)
  • Brinzei Nicolae (1)
  • Bruchon Julien (1)
  • Brun Allan Sacha (1)
  • Caillaud Benoît (1)
  • Carissimo Bertrand (1)
  • Carluer Nadia (1)
  • Cassé Hugues (1)
  • Caumon Guillaume (1)
  • Chalal Hocine (1)
  • Chalons Christophe (1)
  • Chamoin Ludovic (1)
  • Champeau Joël (1)
  • Cherouat Abel (1)
  • Chinnayya Ashwin (1)
  • Chouzenoux Emilie (1)
  • Cinnella Paola (1)
  • Cochelin Bruno (1)
  • Collon Pauline (1)
  • Contassot-Vivier Sylvain (1)
  • Corbineau Pierre (1)
  • Corre Christophe (1)
  • Cortier Véronique (1)
  • Counilh Denis (1)
  • Cousin Olivier (1)
  • Couvreux Fleur (1)
  • Croitoru Madalina (1)
  • Dagnat Fabien (1)
  • Daniel Eric (1)
  • Dapogny Charles (1)
  • Darabiha Nasser (1)
  • David Jean-Baptiste (1)
  • De Lara Michel (1)
  • Delaune Stéphanie (1)
  • Dellagi Sofiène (1)
  • Delmas Rémi (1)
  • Demongeot Jacques (1)
  • Demri Stéphane (1)
  • Dessante Philippe (1)
  • Déharbe David (1)
  • Domingo Pascale (1)
  • Dowek Gilles (1)
  • Drap Pierre (1)
  • Drapier Sylvain (1)
  • Dreyer Erwin (1)
  • Drossart Pierre (1)
  • Dubard Jean-Lou (1)
  • Dubus Guillaume (1)
  • Duchier Denys (1)
  • Dugardin Frédéric (1)
  • Duhamel Christophe (1)
  • Esling Philippe (1)
  • Euzenat Jérôme (1)
  • Eveillard Damien (1)
  • Fabre David (1)
  • Fadel Maurice (1)
  • Fages François (1)
  • Faure-Vincent Jérôme (1)
  • Favennec Yann (1)
  • Favier Véronique (1)
  • Felblinger Jacques (1)
  • Ferrier Emmanuel (1)
  • Fesquet Laurent (1)
  • Filliâtre Jean-Christophe (1)
  • Finkel Alain (1)
  • Fontaine Caroline (1)
  • Fontaine Pascal (1)
  • Forest François (1)
  • Fouque Pierre-Alain (1)
  • Fournier Jacques J. A. (1)
  • Fournier Richard (1)
  • Fribourg Laurent (1)
  • Gandin Charles-André (1)
  • Garoche Pierre-Loïc (1)
  • Gasquet Olivier (1)
  • Gautier Cyrille (1)
  • Gechter Franck Joseph Aimé (1)
  • Genevès Pierre (1)
  • Ghilardi Silvio (1)
  • Ghilezan Silvia (1)
  • Girault Alain (1)
  • Glade Nicolas (1)
  • Goasdoué François (1)
  • Grange Stéphane (1)
  • Gremillet Laurent (1)
  • Gruer Juan Pablo (1)
  • Grégoire Eric (1)
  • Guernouti Sihem (1)
  • Guillemot Gildas (1)
  • Guskov Mikhail (1)
  • Haberschill Philippe (1)
  • Habet Djamal (1)
  • Haddad Serge (1)
  • Haddar Kais (1)
  • Haddou Mounir (1)
  • Hajjar Mohammad (1)
  • Hameurlain Nabil (1)
  • Hammad Ahmed (1)
  • Hermant Olivier (1)
  • Hijlkema Jouke (1)
  • Hild François (1)
  • Hnaien Faicel (1)
  • Hugues Jérôme (1)
  • Humières Emmanuel d' (1)
  • Idani Akram (1)
  • Iosif Radu (1)
  • Jalby William (1)
  • Jamont Jean-Paul (1)
  • Japhet Caroline (1)
  • Jeannet Bertrand (1)
  • Joly Frédéric (1)
  • Jégou Philippe (1)
  • Jézéquel Jean-Marc (1)
  • Kamsu-Foguem Bernard (1)
  • Kanté Mamadou Moustapha (1)
  • Keckhut Philippe (1)
  • Kenfack Hugues (1)
  • Kern Michel (1)
  • Khalij Mohamed (1)
  • Khatir Zoubir (1)
  • Kieffer Yann (1)
  • Koriche Frédéric (1)
  • Korniienko Anton (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (110)
  • Sciences de l'ingénieur (75)
  • Mathématiques (26)
  • Physique (19)
  • Informatique, information, généralités (5)
  • Astronomie, cartographie, géodésie (5)
  • Sciences de la terre (4)
  • Technologie (Sciences appliquées) (4)
  • Chimie, minéralogie, cristallographie (3)
  • Sciences de la vie, biologie, biochimie (2)
  • Médecine et santé (2)
  • Gestion et organisation de l'entreprise (2)
  • Bâtiments (2)
  • Sciences sociales, sociologie, anthropologie (1)
  • Agronomie, agriculture et médecine vétérinaire (1)

Domaines :

Fullscreen

242 thèses pour Solveurs SAT

Informatique

En préparation depuis le 21-11-2017
 thèse en cours de préparation
Informatique

Soutenue le 12-12-2017
thèse soutenue

...figure 1 une amélioration constante des solveurs SAT séquentiels au coursde ces deux dernières décennies...

Accéder en ligne

...´eavec envie par presque toutes les communaute´s en informatique, y compris celle travaillantsur SAT. Pour...

Accéder en ligne

...,nous introduisons certains principes des solveurs SAT, des AIG et du modelchecking. Le chapitre 3 décrit les travaux...

Accéder en ligne

.... Ces dernières années, desprogrès importants ont été réalisés dans les solveurs SAT modernes, cependant...

Accéder en ligne
Sciences. Informatique

Soutenue en 2008
thèse soutenue
Chimie

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

..., dans le cadre d’un solveur SAT parallŁle (voir chapitre 4). La polaritØ selon laquelle leprochain point de choix...

Accéder en ligne

Résultats 1 à 10