Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Artois (3)
  • Avignon (2)
  • Aix-Marseille (1)
  • Angers (1)
  • Bordeaux (1)
  • Lyon, INSA (1)
  • Montpellier (1)
  • Normandie (1)
  • Paris 8 (1)
  • Toulouse, ISAE (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (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 (12)
  • Informatique et applications (1)
  • Intelligence artificielle (1)
  • Mathématiques et informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • ?cole doctorale Sciences pour l'Ing?nieur (Lille) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • I2S - Information, Structures, Systèmes (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (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 sociales (Saint-Denis, Seine-Saint-Denis) (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
  • français (11)
  • anglais (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cabon Bertrand (2)
  • Feillet Dominique (2)
  • Michelon Philippe (2)
  • Audemard Gilles (1)
  • Bessiere Christian (1)
  • Blache Philippe (1)
  • Boizumault Patrice (1)
  • Déharbe David (1)
  • Fontaine Pascal (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)
  • Pinaud Bruno (1)
  • Saïs Lakhdar (1)
  • Solnon Christine (1)
  • Stephan Igor (1)
  • Verfaillie Gérard (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (15)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

15 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

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

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

...permitir backjumping aoinvés de simples backtracking, reduzindo ainda mais o espaço de busca da solução. O...

Accéder en ligne

Résultats 1 à 10