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
Apprentissage automatique
Séparation et évaluation
Règles d'inférence
Max-Résolution
Sat
Métaheuristiques
Intelligence Artificielle
Statistique mathématique
SAT reasoning test
Algorithmes
Encodage SAT
Encodage Hybride
CSP vers SAT
Problème de Satisfaction de Contraintes
Codage