Search

Displaying 1 - 10 of 16 results.

Pages

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

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

  3. Systematics validation of a software hardening framework
    By : Vermeylen, Alex[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

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

  5. Modelling and analysing parliamentary law with Alloy
    By : Munyabarenzi, Clémentine Zaninka[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  6. Customizable vocal personal assistant
    By : De Bels, Tanguy[UCL] Directed by : Pecheur, Charles[UCL] (2017) Ecole polytechnique de Louvain

  7. Visualization of binary decision diagram
    By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

  8. Detection of vacuously true properties
    By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) 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