Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Aix-Marseille 2 (5)
  • Caen (5)
  • Paris 7 (5)
  • Artois (4)
  • Paris 11 (4)
  • Reims (3)
  • Aix-Marseille (2)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble Alpes (2)
  • Nancy 1 (2)
  • Toulouse 3 (2)
  • Aix-Marseille 1 (1)
  • Besançon (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Côte d'Azur (1)
  • Dijon (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble (1)
  • Lorient (1)
  • Normandie (1)
  • Orléans (1)
  • Paris 5 (1)
  • Paris Saclay (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universität Hannover (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université de Sfax. Faculté des sciences (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (34)
  • Sciences appliquées (3)
  • Sciences et techniques (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Informatique et mathématique (1)
  • Informatique et mathématiques (1)
  • Informatiquei (1)
  • Intelligence artificielle (1)
  • Mathématiques (1)
  • Mathématiques et Informatique (1)
  • Mathématiques, informatique, automatique (1)
  • Mathématiques. Informatique (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences - STS (1)
  • Stic (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (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, technologies, santé (Reims, Marne) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (34)
  • anglais (15)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Grandjean Etienne (4)
  • Grégoire Eric (3)
  • Morel Henri (3)
  • Creignou Nadia (2)
  • Krajecki Michaël (2)
  • Papini Odile (2)
  • Segoufin Luc (2)
  • Audemard Gilles (1)
  • Balbiani Philippe (1)
  • Ben Ameur Walid (1)
  • Benbernou Salima (1)
  • Benhamou Belaïd (1)
  • Bertolissi Clara (1)
  • Bidoit-Tollu Nicole (1)
  • Boufkhad Yacine (1)
  • Bouzid Maroua (1)
  • Carton Olivier (1)
  • Cassé Hugues (1)
  • Cerrito Serenella (1)
  • Chabchoub Habib (1)
  • Choffrut Christian (1)
  • Collet Philippe (1)
  • Demri Stéphane P. (1)
  • Drap Pierre (1)
  • Durand-Lose Jérôme (1)
  • Fayard Didier (1)
  • Fernandez de la Vega Wenceslas (1)
  • Gastin Paul (1)
  • Genevès Pierre (1)
  • Giorgetti Alain (1)
  • Graf Susanne (1)
  • Habib Michel (1)
  • Halbwachs Nicolas (1)
  • Kirchner Hélène (1)
  • Kouchnarenko Olga (1)
  • Lambert Jean-Luc (1)
  • Le Thanh Nhan (1)
  • Lugiez Denis (1)
  • Maler Oded (1)
  • Mazure Bertrand (1)
  • Mendès Florence (1)
  • Miller Dale (1)
  • Muscholl Anca (1)
  • Nakagawa Elisa Yumi (1)
  • Nicolle Christophe (1)
  • Oquendo Flavio (1)
  • Ostrowski Richard (1)
  • Philippot Alexandre (1)
  • Poplavko Petro (1)
  • Radu Losif (1)
  • Ravelomanana Vlady (1)
  • Riera Bernard (1)
  • Ringeissen Christophe (1)
  • Roisin Cécile (1)
  • Rusinowitch Michaël (1)
  • Saïs Lakhdar (1)
  • Simon Laurent (1)
  • Sotin Pascal (1)
  • Vollmer Heribert (1)
  • Walukiewicz Igor (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (43)
  • Sciences de la nature et mathématiques (3)
  • Mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Sciences de l'ingénieur (3)
  • Informatique, information, généralités (2)

Domaines :

Fullscreen

51 thèses pour "Satisfaisabilité"

Informatique

Soutenue en 2010
thèse soutenue
Informatique et mathématiques

Soutenue en 1996
thèse soutenue

...nullExtensions de classes polynomialespour leproblème de satisfaisabilitéTHÈSEprésentée et soutenue...

Accéder en ligne

...repose sur l’utilisation de la logiquepropositionnelle - à travers le problème de satisfaisabilité - pour...

Accéder en ligne

...satisfaisabilité est déterminée avec un solveur SAT. Comme cetteformule est insatisfaisable, BMC vérifie si la...

Accéder en ligne

Résultats 1 à 10