Etienne Renault
IdRefMots clés
FR |
EN
Satisfaisabilité booléenne
Vérification de modèles bornés
Heuristiques
Logique Temporelle Linéaire
Parallélisme
Optimisation
Solveurs linéaires parallèles
Vérification de modèles (informatique)
Résolution de problème -- Informatique
Programmation heuristique
Logique du premier ordre
Test de vacuité
Model checking explicite
Automates
Union-Find
Algorithmes parallèles
Lock-Free
Automates sur les mots infinis