thesis

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

Defense date:

Jan. 1, 2005

Edit

Institution:

Artois

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.