Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Artois (3)
  • Aix-Marseille (1)
  • Angers (1)
  • Avignon (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)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (10)
  • 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)
  • 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 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 (9)
  • anglais (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Audemard Gilles (1)
  • Bessiere Christian (1)
  • Blache Philippe (1)
  • Boizumault Patrice (1)
  • Cabon Bertrand (1)
  • Déharbe David (1)
  • Feillet Dominique (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)
  • Melançon Guy (1)
  • Merz Stephan (1)
  • Michelon Philippe (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 (13)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

13 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

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

Soutenue le 22-03-2017
thèse soutenue

...fails such as backjumping, backcheckingand backmarking. The effectiveness of a particular search...

Accéder en ligne

Résultats 1 à 10