Lakhdar Saïs
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
Programmation par contraintes
Intelligence artificielle
Exploration de données
SAT
Calcul des propositions
Fonctions booléennes
Algorithmes
Théorie des jeux
Représentation des connaissances
Diagnosticabilité
Diagnostic
Problème SAT
Satisfiabilité propositionnelle
Résolution parallèle
Solveurs (logiciels)
Treillis, Théorie des
Fouille de données
Apprentissage automatique
Optimisation combinatoire