Le moteur de recherche
des thèses françaises
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
Satisfiabilité propositionnelle
Problème SAT
Résolution parallèle
Solveurs (logiciels)
Treillis, Théorie des
Fouille de données
Optimisation combinatoire
Apprentissage automatique