Le moteur de recherche
des thèses françaises
Felip Manyà
IdRefMots clés
FR |
EN
Inférence
Optimisation combinatoire
Max-SAT
Intelligence Artificielle
Statistique mathématique
SAT reasoning test
MSCP
Graphe
Coloration
Coloriage de graphes
Séparation et évaluation
Règles d'inférence
Max-Résolution
Apprentissage
Recherche locale
IA explicable
Explicabilité formelle
Raisonnement automatisé
Intelligence artificielle explicable
Apprentissage basé sur l'explication