Laurent Simon
IdRefMots clés
FR |
EN
SAT
Programmation par contraintes
Contraintes (intelligence artificielle)
Intelligence artificielle
Solveurs (logiciels)
Traitement réparti
Calcul d'indices
Combinatoire
Recherche de collisions
Cryptanalyse différentielle
Logarithmes discrets
Courbes elliptiques
Intelligence Artificielle
Raisonnement automatique
Logiques Modales
Clauses
Nogoods
Hybridation
Diagnostic distribué à base de cohérence
Logique propositionnelle