Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Artois (4)
  • Montpellier (3)
  • Avignon (2)
  • Lyon (2)
  • Toulouse, ISAE (2)
  • Aix-Marseille (1)
  • Aix-Marseille 2 (1)
  • Angers (1)
  • Belfort-Montbéliard (1)
  • Bordeaux (1)
  • Institut polytechnique de Paris (1)
  • Lyon, INSA (1)
  • Normandie (1)
  • Paris 8 (1)
  • Rennes 1 (1)
  • Sorbonne Paris Cité (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • University of Nebraska-Lincoln (1)
  • Université Mohamed V (1)
  • Université d'Oran (1)
  • Université de Lorraine (1)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (1)
  • Valenciennes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (19)
  • InfoMath (1)
  • Informatique et Systèmes Embarqués (1)
  • Informatique et applications (1)
  • Informatique, données, IA (1)
  • Intelligence artificielle (1)
  • Mathématiques et informatique (1)
  • Mathématiques, informatique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • I2S - Information, Structures, Systèmes (2)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (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 et télécommunications (Toulouse) (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 et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Solnon Christine (3)
  • Cabon Bertrand (2)
  • Feillet Dominique (2)
  • Michelon Philippe (2)
  • Saïs Lakhdar (2)
  • Audemard Gilles (1)
  • Bessiere Christian (1)
  • Bessière Christian (1)
  • Bessy Stéphane (1)
  • Blache Philippe (1)
  • Boizumault Patrice (1)
  • Caminada Alexandre (1)
  • Choueiry Berthe Y. (1)
  • Debar Hervé (1)
  • Delahaye David (1)
  • Déharbe David (1)
  • Dowek Gilles (1)
  • Drap Pierre (1)
  • Fontaine Pascal (1)
  • Galinier Philippe (1)
  • Gueye Serigne Abdoulaye (1)
  • Haddar Kais (1)
  • Koriche Frédéric (1)
  • Lagrue Sylvain (1)
  • Lamolle Myriam (1)
  • Le Duc Chan (1)
  • Lecoutre Christophe (1)
  • Mandiau René (1)
  • Melançon Guy (1)
  • Merz Stephan (1)
  • Papini Odile (1)
  • Pinaud Bruno (1)
  • Pinchinat Sophie (1)
  • Pralet Cédric (1)
  • Stephan Igor (1)
  • Verfaillie Gérard (1)
  • Vidal Vincent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (25)
  • Informatique, information, généralités (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

26 thèses pour Backjumping

...answer set.Cela nous conduit à implémenter une versiond’ASPeRiX proposant du backjumping qui évitede...

Accéder en ligne

..., conflict directed backjumping, conflictdirected backjumping with reordering, dynamic backtracking, decision...

Accéder en ligne
Informatique et Systèmes Embarqués

En préparation depuis le 01-10-2018
 thèse en cours de préparation

...Unefois la variable responsable du dead-end identifie´e, le backjumping effectue une restauration...

Accéder en ligne

...’algorithme Backjumping.241.3. Problèmes de satisfaction de contraintesLe BackjumpingLorsque l’affectation d’une variable...

Accéder en ligne

...The complexity of thislearning method is constant during the Backjumping search.d) Deep learning...

Accéder en ligne

...proposed. Backmarking [Gaschnig, 1977] improves the efficiency of check-ing consistency. Backjumping...

Accéder en ligne

...point de retour (Backjumping [Gaschnig, 1979], Graph-Based Backjumping [Dechter, 1990],Conflict...

Accéder en ligne

Résultats 1 à 10