Search

Pages

1. Detection of vacuously true properties

   By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

2. Computing minimal representations with binary decision diagrams

   By : Royers, Amaury[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

3. Visualization of binary decision diagram

   By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

4. COMUTE : Étude de faisabilité d'une plateforme de covoiturage basée sur le principe des communautés

   By : De Cnuydt, Benjamin[UCL] Deudon, Corentin[UCL] Pampfer, Eléonore[UCL] Directed by : Pecheur, Charles[UCL] Zintz, Thierry[UCL] Dubois, Michaël[UCL] (2020) Ecole polytechnique de Louvain — Faculté des sciences de la motricité — Faculté de psychologie et des sciences de l'éducation

5. Création d'une plateforme de gestion de prestations en ligne

   By : de Potter d'Indoye, Aurian[UCL] Dechamps, Anthony[UCL] Directed by : Pecheur, Charles[UCL] (2017) Ecole polytechnique de Louvain

6. Study of SAT solvers improvement techniques

   By : Fitvoye, Florian[UCL] Directed by : Pecheur, Charles[UCL] Gillard, Xavier[UCL] (2019) Ecole polytechnique de Louvain

7. WizzIT - Analyse de faisabilité et d’opportunité de la plateforme WizzIT, un service d’assistance informatique

   By : Herinckx, Elinor[UCL] de Lhoneux, Evrard[UCL] Pecher, Adrien[UCL] Directed by : Gailly, Benoît[UCL] De Cordt, Yves[UCL] Pecheur, Charles[UCL] (2019) Louvain School of Management — Faculté de droit et de criminologie — Ecole polytechnique de Louvain

8. Création d'une application web de réseau social musical

   By : Ivinza Mbe, Scott[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

9. Extension of PyNuSMV SAT toolbox

   By : Feyens, Victor[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

10. Génération de feedback enrichis pour la plateforme INGInious

    By : Le, Pham Anh Tuan[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

Pages