Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Aix-Marseille 2 (8)
  • Besançon (6)
  • Paris 11 (6)
  • Nantes (5)
  • Nice (5)
  • Paris 6 (5)
  • Nancy 1 (4)
  • Paris 7 (3)
  • Université Paris-Saclay (ComUE) (3)
  • Cachan, Ecole normale supérieure (2)
  • Caen (2)
  • Lille 1 (2)
  • Rennes 1 (2)
  • Strasbourg (2)
  • Toulouse 3 (2)
  • Toulouse, ISAE (2)
  • Aix-Marseille 1 (1)
  • Angers (1)
  • Artois (1)
  • Bordeaux 1 (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont-Ferrand 2 (1)
  • Ecole Centrale de Lille (1)
  • Grenoble Alpes (1)
  • Lille, Université des Sciences et technologies de Lille (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon, Ecole normale supérieure (1)
  • Montpellier 2 (1)
  • Paris Saclay (1)
  • Paris, CNAM (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Strasbourg 1 (1)
  • Toulouse, INPT (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • nice (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (41)
  • Sciences appliquées (14)
  • Automatique et informatique (2)
  • Sciences et techniques (2)
  • ? (1)
  • Architecture (1)
  • Automatique et informatique appliquée (1)
  • Biologie moléculaire, intégrée et cognitive (1)
  • Composants, signaux et systèmes (1)
  • Génie électrique (1)
  • Informatique et applications (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique et mathématiques. Intelligence artificielle (1)
  • Informatique industrielle et automatiqueInformatique industrielle et automatique (1)
  • Informatique. Bioinformatique (1)
  • Intelligence artificielle (1)
  • Mécanique. Génie mécanique. Génie civil (1)
  • Physique (1)
  • Productique, automatique et informatique industrielle (1)
  • Réseaux, télécom, système et architecture (1)
  • Stic (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Informatique, télécommunications et électronique de 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 mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale mécanique, thermique et génie civil (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (64)
  • anglais (13)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Colmerauer Alain (6)
  • Benhamou Frédéric (3)
  • Rueher Michel (3)
  • Boizumault Patrice (2)
  • Comon-Lundh Hubert (2)
  • Fages François (2)
  • Gaudel Marie-Claude (2)
  • Jouannaud Jean-Pierre (2)
  • Julliand Jacques (2)
  • Le Gall Pascale (2)
  • Legeard Bruno (2)
  • Mauny Michel (2)
  • Rusinowitch Michaël (2)
  • Schreck Pascal (2)
  • Accart Hardin Thérèse (1)
  • Agon Carlos (1)
  • Andonov Rumen (1)
  • Ballarini Paolo (1)
  • Baptiste Pierre (1)
  • Benhamou Belaïd (1)
  • Bieber Pierre (1)
  • Blanchet Bruno (1)
  • Chabrier Jean-Jacques (1)
  • Chailloux Emmanuel (1)
  • Condotta Jean-François (1)
  • Couvreur Jean-Michel (1)
  • Crémilleux Bruno (1)
  • Dauchet Max (1)
  • Delmas Rémi (1)
  • Directeur de thèse inconnu (1)
  • Dubois Catherine (1)
  • Dubois Didier (1)
  • Esling Philippe (1)
  • FAGES F. (1)
  • Fariñas del Cerro Luis (1)
  • Gentina Jean-Claude (1)
  • Giambiasi Norbert (1)
  • Giraud-Panis Marie-Josèphe (1)
  • Girault Claude (1)
  • Gondran Michel (1)
  • Hamadi Youssef (1)
  • Hanafi Saïd (1)
  • Hubert Stéphanie (1)
  • Idani Akram (1)
  • Imbert Jean-Louis (1)
  • Jaulin Luc (1)
  • Jeansoulin Robert (1)
  • Kirchner Claude (1)
  • Kirchner Hélène (1)
  • Le Borgne Michel (1)
  • Le Métayer Daniel (1)
  • Ledru Yves (1)
  • Malenfant Jacques (1)
  • Manceny Matthieu (1)
  • Marquis Pierre (1)
  • Michel Claude (1)
  • Morio Jérôme (1)
  • Mourrain Bernard (1)
  • Nakagawa Elisa Yumi (1)
  • Oquendo Flavio (1)
  • Pachet François (1)
  • Pagetti Claire (1)
  • Perez Yannick (1)
  • Petit Marc (1)
  • Pique Jean-François (1)
  • Pléménos Dimitri (1)
  • Péneau Jean-Pierre (1)
  • RUEHER M. (1)
  • Sallé Patrick (1)
  • Santinelli Luca (1)
  • Schnoebelen Philippe (1)
  • Schutz Yves (1)
  • Sebag Michèle (1)
  • Siret Daniel (1)
  • Thieffry Denis (1)
  • Trombettoni Gilles (1)
  • Van Caneghem Michel (1)
  • Vigneron Laurent (1)
  • Villard Caroline (1)
  • Wolff Burkhart (1)
  • Yim Pascal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (46)
  • Sciences de l'ingénieur (27)
  • Mathématiques (4)
  • Sciences de la vie, biologie, biochimie (3)
  • Technologie (Sciences appliquées) (3)
  • Sciences de la nature et mathématiques (2)
  • Informatique, information, généralités (1)
  • Psychologie (1)
  • Physique (1)
  • Médecine et santé (1)
  • Architecture (1)

Domaines :

Fullscreen

How to use symmetries in boolean constraint solving

par Alfonso San Miguel Aguirre sous la direction de Alain Colmerauer - Aix-Marseille 2

Informatique

Soutenue en 1992
thèse soutenue
Automatique et informatique appliquée

Soutenue en 2006
thèse soutenue
Sciences et techniques

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

Soutenue en 1997
thèse soutenue

Résultats 1 à 10