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
Métaheuristiques
Statistique mathématique
SAT reasoning test
Algorithmes
Encodage SAT
Encodage Hybride
CSP vers SAT
Sat
Problème de Satisfaction de Contraintes
Codage
Contraintes (intelligence artificielle)