Utilisation et extensions de l'algorithmique pour SAT pour la résolution de différents problèmes d'intelligence artificielle

par David Ansart

Thèse de doctorat en Informatique

Sous la direction de Eric Grégoire.

Soutenue en 2005

à l'Artois .


  • Pas de résumé disponible.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (xii-105 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 97-101. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Artois (Lens, Pas-de-Calais). Bibliothèque de Sciences.
  • Disponible pour le PEB
  • Cote : 05 ARTO 0408
  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : 05 ARTO 0408
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.