Baarir, Souheib, 1978-....
VIAF ID: 189805824 ( Personal )
Permalink: http://viaf.org/viaf/189805824
Preferred Forms
Works
Title | Sources |
---|---|
Alloy4PV : un Framework pour la Vérification de Procédés Métiers | |
Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes finis | |
Exploitation of dynamic symmetries for solving SAT problems. | |
Parameterised Verification from Formal Specifications of Information Systems | |
Towards more efficient parallel SAT solving | |
Vers une parallélisation efficace de la résolution du problème de satisfaisabilité. |