Laurent Simon
IdRefMots clés
FR |
EN
SAT
Contraintes (intelligence artificielle)
Programmation par contraintes
Traitement réparti
Intelligence artificielle
Solveurs (logiciels)
Diagnostic distribué à base de cohérence
Logique propositionnelle
Raisonnement distribué respectant la confidentialité
Décomposition arborescente distribuée
Représentation des connaissances
Intelligence Artificielle
Raisonnement automatique
Logiques Modales
Clauses
Nogoods
Hybridation
Calcul d'indices
Combinatoire
Recherche de collisions