Lakhdar Saïs
Biographie de Lakhdar Saïs
Lakhdar Saïs, professeur des universités est responsable du groupe "Algorithmes pour l'inférence et la prise de décision" au centre de recherche en informatique de Lens. Ses axes de recherche incluent le problème de la satisfiabilité (SAT), les formules booléennes quantifiées (QBF) et les problèmes de satisfaction de contraintes (CSP).
Livres de Lakhdar Saïs
Auteur : Lakhdar Saïs
Éditeur : Hermès - Lavoisier
Date de parution : 16/05/2008
Expédié sous 9 jours
Papier
93,00 €
