Explore projects

Outil de création de fiches de poursuites d'études lié à ScoDoc

Cours Rétroactions pour l'évaluation ; Inspé - MEEF-PIF

Optimized hardware components for Xilinx 7-Series FPGAs

A CEGAR-based solver for maximum model counting