Le moteur de recherche
des thèses françaises
Djamal Habet
IdRefMots clés
FR |
EN
Optimisation combinatoire
Inférence
Max-SAT
Apprentissage
Recherche locale
Contraintes (intelligence artificielle)
Apprentissage automatique
Solveurs (logiciels)
SAT reasoning test
Algorithmes
Séparation et évaluation
Règles d'inférence
Max-Résolution
Sat
Métaheuristiques
Heuristique
IA Explicable
Solveur SAT
Compression de preuve
Intelligence Artificielle