Displaying 4 results.
-
Génération de feedback enrichis pour la plateforme INGInious(2015) Ecole polytechnique de Louvain
-
Study of SAT solvers improvement techniques(2019) Ecole polytechnique de Louvain
-
Computing minimal representations with binary decision diagrams(2016) Ecole polytechnique de Louvain
-
Specification and verification of a railway level crossing(2020) Ecole polytechnique de Louvain