Programmation haute performance pour la résolution des problèmes SAT et CSP
FR |
EN
Auteur / Autrice : | Bernard Jurkowiak |
Direction : | Chumin Li |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences. Informatique |
Date : | Soutenance en 2004 |
Etablissement(s) : | Amiens |
Mots clés
FR