Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (11)
  • Artois (8)
  • Grenoble (7)
  • Sorbonne Paris Cité (7)
  • Nancy 1 (6)
  • Paris Sciences et Lettres (6)
  • Orléans (4)
  • Toulouse 3 (4)
  • Université Paris-Saclay (ComUE) (4)
  • Aix-Marseille 2 (3)
  • Montpellier (3)
  • Paris 7 (3)
  • Clermont Auvergne (2)
  • Paris 6 (2)
  • Reims (2)
  • Rennes 1 (2)
  • Toulouse 1 (2)
  • University of Western Sydney (2)
  • Valenciennes (2)
  • 11067281X (1)
  • Aix-Marseille (1)
  • Avignon (1)
  • Belfort-Montbéliard (1)
  • Besançon (1)
  • Bordeaux (1)
  • Bourgogne Franche-Comté (1)
  • Caen (1)
  • CentraleSupélec (1)
  • Clermont-Ferrand 2 (1)
  • Côte d'Azur (1)
  • Ecole centrale de Nantes (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble Alpes (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Lorient (1)
  • Lyon 1 (1)
  • Lyon, INSA (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Mulhouse (1)
  • Normandie (1)
  • Paris 11 (1)
  • Paris Est (1)
  • Paris, CNAM (1)
  • Paris, Ecole normale supérieure (1)
  • Petronas (1)
  • Sorbonne université (1)
  • Toulouse, INPT (1)
  • Tours (1)
  • Universidad de Sevilla (Espagne) (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à degli studi (Trente, Italie) (1)
  • Universität Hannover (1)
  • Université de Lorraine (1)
  • Université de Tunis El Manar (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (70)
  • Mathématiques et informatique (4)
  • Mathématiques (2)
  • Mathématiques Appliquées (2)
  • Sciences appliquées (2)
  • Sciences et technologie industrielles (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique (1)
  • Bioinformatique (1)
  • Biologie Santé (1)
  • Informatique (STIC) (1)
  • Informatique et Génie Industriel (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique. Génération automatique de texte (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Réseaux (1)
  • Informatiquei (1)
  • Instrumentation et informatique de l'image (1)
  • Intelligence artificielle (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Informatique (1)
  • Mathématiques-Informatique (1)
  • Mathématiques. Informatique (1)
  • Physique (1)
  • Recherche opérationnelle (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences de données (1)
  • Stic (1)
  • Systèmes embarqués (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (17)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (7)
  • École doctorale Sciences pour l'Ingénieur (Lille) (7)
  • Ecole doctorale de Dauphine (Paris) (6)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • I2S - Information, Structures, Systèmes (2)
  • IAEM Lorraine (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (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 (Clermont-Ferrand) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences pour l'ingénieur (SPI) (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (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 Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (77)
  • français (32)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Mahjoub Ali Ridha (4)
  • Saïs Lakhdar (3)
  • Audemard Gilles (2)
  • Becher Verónica (2)
  • Blackburn Patrick (2)
  • Bouajjani Ahmed (2)
  • Euzenat Jérôme (2)
  • Gasquet Olivier (2)
  • Grégoire Eric (2)
  • Iosif Radu (2)
  • Mazure Bertrand (2)
  • Morel Henri (2)
  • Pesty Sylvie (2)
  • Rusinowitch Michaël (2)
  • Sighireanu Mihaela (2)
  • Zhang Dongmo (2)
  • Albert Vincent (1)
  • Aldanondo Michel (1)
  • Artiba Abdelhakim (1)
  • Baelde David (1)
  • Balbiani Philippe (1)
  • Batatia Hadj (1)
  • Baudry Benoit (1)
  • Baïou Mourad (1)
  • Ben Ameur Walid (1)
  • Ben Charrada Faouzi (1)
  • Benavides David (1)
  • Benbernou Salima (1)
  • Benferhat Salem (1)
  • Benmansour Rachid (1)
  • Bensalem Saddek (1)
  • Bentz Cédric (1)
  • Berthomé Pascal (1)
  • Bessy Stéphane (1)
  • Bidan Christophe (1)
  • Billaut Jean-Charles (1)
  • Bonnet Grégory (1)
  • Bonnet Jérôme (1)
  • Bosio Alberto (1)
  • Boufkhad Yacine (1)
  • Bourdon Jérémie (1)
  • Bozga Dorel Marius (1)
  • Cabon Bertrand (1)
  • Caminada Alexandre (1)
  • Collet Philippe (1)
  • Comon-Lundh Hubert (1)
  • Condotta Jean-François (1)
  • Couvreur Jean-Michel (1)
  • Creignou Nadia (1)
  • Crowley James L (1)
  • Curien Pierre-Louis (1)
  • Dague Philippe (1)
  • Dang Thao (1)
  • Danlos Laurence (1)
  • Das Shantanu (1)
  • Delahaye David (1)
  • Déharbe David (1)
  • Dowek Gilles (1)
  • Duvivier David (1)
  • Echahed Rachid (1)
  • Elloumi Sourour (1)
  • Falcone Yliès Carlo (1)
  • Feillet Dominique (1)
  • Fesquet Laurent (1)
  • Feuillade Guillaume (1)
  • Filiot Emmanuel (1)
  • Fofi David (1)
  • Fonlupt Jean (1)
  • Fontaine Pascal (1)
  • Fradet Pascal (1)
  • Gabrel Virginie (1)
  • Galinier Philippe (1)
  • Gautier Christian (1)
  • Gauwin Olivier (1)
  • Ghilardi Silvio (1)
  • Giorgetti Alain (1)
  • Girard Patrick (1)
  • Girault Alain (1)
  • Gourvès Laurent (1)
  • Grandjean Étienne (1)
  • Gravier Sylvain (1)
  • Habib Michel (1)
  • Hacid Mohand Saïd (1)
  • Halbwachs Nicolas (1)
  • Hanafi Saïd (1)
  • Hermann Nicolas (1)
  • Herzig Andreas (1)
  • Jaffrézic Florence (1)
  • Kerivin Hervé (1)
  • Kerivin Hervé (1)
  • Kirchner Hélène (1)
  • Kouchnarenko Olga (1)
  • Krajecki Michaël (1)
  • Lakhnech Yassine (1)
  • Laurini Robert (1)
  • Layaida Nabil (1)
  • Loulergue Frédéric (1)
  • Maffray Frédéric (1)
  • Mahboubi Assia (1)
  • Mahey Philippe (1)
  • Mahjoub Zaher (1)
  • Maler Oded (1)
  • Maudet Nicolas (1)
  • Merz Stephan (1)
  • Michelon Philippe (1)
  • Monfroy Éric (1)
  • Monniaux David (1)
  • Mora-Camino Félix (1)
  • Morel Olivier (1)
  • Morin-Allory Katell (1)
  • Mousseau Vincent (1)
  • Moy Matthieu (1)
  • Muscholl Anca (1)
  • Nakagawa Elisa Yumi (1)
  • Niebert Peter (1)
  • Nuel Grégory (1)
  • Ollinger Nicolas (1)
  • Oquendo Flavio (1)
  • Pellier Damien (1)
  • Perrussel Laurent (1)
  • Philippot Alexandre (1)
  • Pierre Laurence (1)
  • Pinchinat Sophie (1)
  • Pointcheval David (1)
  • Pomerol Jean-Charles (1)
  • Poplavko Petro (1)
  • Pu Geguang (1)
  • Périn Michaël (1)
  • Ramdani Nacim (1)
  • Ranise Silvio (1)
  • Rau Andrea (1)
  • Riera Bernard (1)
  • Ringeissen Christophe (1)
  • Rizzi Romeo (1)
  • Rodriguez Joaquin (1)
  • Sagot Marie-France (1)
  • Saurin Alexis (1)
  • Schmitz Sylvain (1)
  • Segoufin Luc (1)
  • Semerjian Guilhem (1)
  • Seydi Hamet (1)
  • Simon Jean-Claude (1)
  • Spehner Jean-Claude (1)
  • Talbot Jean-Marc (1)
  • Tison Sophie (1)
  • Touili Tayssir (1)
  • Toumani Farouk (1)
  • Vareilles Elise (1)
  • Vialette Stéphane (1)
  • Viennot Laurent (1)
  • Virazel Arnaud (1)
  • Vollmer Heribert (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (87)
  • Sciences de l'ingénieur (12)
  • Mathématiques (10)
  • Informatique, information, généralités (4)
  • Sciences de la vie, biologie, biochimie (2)
  • Physique (1)
  • Bâtiments (1)

Domaines :

Fullscreen

108 thèses pour "Satisfiability problem"

Informatique et mathématiques

Soutenue en 1996
thèse soutenue

...the Boolean satisfiability problem. Second, we take acloser look at the algorithm which has been...

Accéder en ligne
Informatique

Soutenue en 1991
thèse soutenue
Sciences appliquées

Soutenue en 1989
thèse soutenue

...Associated with QCNsGiven a QCN, we are particularly interested in its satisfiability problem, that is, the...

Accéder en ligne
Recherche opérationnelle

Soutenue en 1994
thèse soutenue

...seen that N |= ϕ.Since the satisfiability problem for propositional LTL is decidable (more preciselyit...

Accéder en ligne

Résultats 1 à 10