Le moteur de recherche
des thèses françaises
Djamal Habet
IdRefMots clés
FR |
EN
Inférence
Optimisation combinatoire
Max-SAT
Apprentissage
Recherche locale
Sat
Apprentissage automatique
Intelligence Artificielle
Séparation et évaluation
Règles d'inférence
Max-Résolution
Métaheuristiques
Statistique mathématique
SAT reasoning test
Algorithmes
MaxSAT
Élimination de Variables Bornées
Branche et Lié
Calcul des Tableaux
Encodage SAT