Displaying 1 - 10 of 29 results.
Pages
-
Detection of vacuously true properties(2015) Ecole polytechnique de Louvain
-
Élaboration d'un module de gestion de données d'entrée du logiciel HydroAxe, destiné à la prévision des niveaux d'eau sur la Meuse(2015) Ecole polytechnique de Louvain
-
Extension of PyNuSMV SAT toolbox(2018) Ecole polytechnique de Louvain
-
Création d'une application web de réseau social musical(2018) Ecole polytechnique de Louvain
-
Design and implementation of a web platform for running events(2016) Ecole polytechnique de Louvain
-
Génération de feedback enrichis pour la plateforme INGInious(2015) Ecole polytechnique de Louvain
-
A framework for visualizing and manipulating structured execution graphs(2015) Ecole polytechnique de Louvain
-
Study of SAT solvers improvement techniques(2019) Ecole polytechnique de Louvain
-
WizzIT - Analyse de faisabilité et d’opportunité de la plateforme WizzIT, un service d’assistance informatique(2019) Louvain School of Management — Faculté de droit et de criminologie — Ecole polytechnique de Louvain
-
Computing minimal representations with binary decision diagrams(2016) Ecole polytechnique de Louvain