Le moteur de recherche
des thèses françaises
Carlos Ansótegui
IdRefMots clés
FR |
EN
Intelligence artificielle
SAT reasoning test
Algorithmes
SAT
Max-SAT
Inférence
Raisonnement
Statistique mathématique
Sat
MaxSAT
Intelligence Artificielle
Élimination de variables bornées
Branche et lié
Calcul des tableaux
Bioinformatique
Solveurs (logiciels)
Fonctions à variation bornée
Circuits électroniques -- Calcul
Heuristique
Optimisation combinatoire