Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Artois (8)
  • Paris Saclay (3)
  • Bordeaux (2)
  • Côte d'Azur (2)
  • Paris, CNAM (2)
  • Aix-Marseille (1)
  • Aix-Marseille 1 (1)
  • Aix-Marseille 2 (1)
  • Belfort-Montbéliard (1)
  • Ecole centrale de Nantes (1)
  • Lorient (1)
  • Montpellier (1)
  • Nice (1)
  • Orléans (1)
  • Paris 11 (1)
  • Paris, ENST (1)
  • Reims (1)
  • Rennes 1 (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 1 (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université Libanaise (Liban) (1)
  • Université de Lorraine (1)
  • Univerzitet u Novom Sadu (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (28)
  • ATS - Automatique et Traitement de Signal (1)
  • Informatique et réseaux (1)
  • Informatique. Intelligence artificielle (1)
  • Mathématiques Appliquées (1)
  • Mathématiques, informatique, automatique (1)
  • Productique - Mécanique (1)
  • Réseaux, télécom, système et architecture (1)
  • Stic (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'Ingénieur (Lille) (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • ED Sciences Pour l'Ingénieur (n°72) (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)
  • I2S - Information, Structures, Systèmes (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Informatique (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences pour l'ingénieur (Nantes) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (25)
  • anglais (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Saïs Lakhdar (4)
  • Audemard Gilles (3)
  • Simon Laurent (3)
  • Barbe Sophie (1)
  • Barkaoui Kamel (1)
  • Benhamou Belaïd (1)
  • Berkani Karim (1)
  • Bernard Alain (1)
  • Berruet Pascal (1)
  • Blanqui Fréderic (1)
  • Borde Etienne (1)
  • Cortier Véronique (1)
  • Dague Philippe (1)
  • Delahaye David (1)
  • Delaune Stéphanie (1)
  • Delmas Rémi (1)
  • Déharbe David (1)
  • Drap Pierre (1)
  • Dubois Catherine (1)
  • Fages François (1)
  • Fontaine Pascal (1)
  • Gechter Franck Joseph Aimé (1)
  • Ghilezan Silvia (1)
  • Gruer Juan Pablo (1)
  • Grégoire Eric (1)
  • Haddad Serge (1)
  • Hajjar Mohammad (1)
  • Hermant Olivier (1)
  • Huchard Marianne (1)
  • Kamsu-Foguem Bernard (1)
  • Kenfack Hugues (1)
  • Le Berre Daniel (1)
  • Lecoutre Christophe (1)
  • Limet Sébastien (1)
  • Liquori Luigi (1)
  • Mazure Bertrand (1)
  • Merz Stephan (1)
  • Michel Claude (1)
  • Morin Rémi (1)
  • Oquendo Flavio (1)
  • Ostrowski Richard (1)
  • Pagetti Claire (1)
  • Papini Odile (1)
  • Pautet Laurent (1)
  • Philippot Alexandre (1)
  • Riera Bernard (1)
  • Riveill Michel (1)
  • Robert Sophie (1)
  • Rueher Michel (1)
  • Régnier Pierre (1)
  • Schiex Thomas (1)
  • Siegel Anne (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (30)
  • Sciences de l'ingénieur (5)
  • Informatique, information, généralités (2)
  • Mathématiques (2)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

36 thèses pour "Solveurs SAT"

Informatique

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

....1 Solveurs SAT . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.1.1 Principes généraux des...

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
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

...tests, Animation, Execution de mode`le, UML, OCL,Solveurs SAT, Isabelle/HOLviiviiiContents1 Introduction...

Accéder en ligne

...’e´tude des solveurs SAT sur les environnements distribue´s.7.6 PerspectivesAu sein de cette the`se, il a e...

Accéder en ligne
Informatique

En préparation depuis le 07-01-2013
 thèse en cours de préparation
Soutenance prévue le 16-12-2016

Résultats 1 à 10