Felip Manyà
Mots clés
FR |
EN
Inférence
Optimisation combinatoire
Max-SAT
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
Intelligence Artificielle