Search

Displaying 1 - 10 of 33 results.

Pages

  1. Detection of vacuously true properties
    By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  2. Extension of PyNuSMV SAT toolbox
    By : Feyens, Victor[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

  3. 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

  4. Design and implementation of a web platform for running events
    By : Heraly, Michaël[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  5. 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

  6. A framework for visualizing and manipulating structured execution graphs
    By : Nauw, Olivier[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  7. Study of SAT solvers improvement techniques
    By : Fitvoye, Florian[UCL] Directed by : Pecheur, Charles[UCL] Gillard, Xavier[UCL] (2019) Ecole polytechnique de Louvain

  8. 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

  9. Computing minimal representations with binary decision diagrams
    By : Royers, Amaury[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

Pages