Saïd Jabbour
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
Exploration de données
Fonctions booléennes
Clustering
Fouille de données
Satisfiabilité
Solveurs (logiciels)
Satisfiabilité propositionnelle
Symétries
Itemsets
Motifs fréquents
Motifs séquentiels
Calcul des propositions
Graphes
Détection de communautés
Maximisation de l'influence
Intelligence artificielle symbolique (SAT; CP)
Fouille de Motifs
Logique Propositionnelle
SAT