Le moteur de recherche
des thèses françaises
Lakhdar Saïs
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
Intelligence artificielle
Exploration de données
Programmation par contraintes
SAT
Algorithmes
Fonctions booléennes
Calcul des propositions
Théorie des jeux
Satisfiabilité propositionnelle
Résolution parallèle
Problème SAT
Solveurs (logiciels)
Représentation des connaissances
Diagnosticabilité
Diagnostic
Code source (informatique)
Logiciels -- Vérification
Treillis, Théorie des
Apprentissage automatique