Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours de l'instructeur de l'Université Johannes Kepler à Linz, en Autriche, à la FMCAD 2014 traite des défis du raisonnement bit-precise, y compris les résultats SMT-COMP, AIG, bit-blasting, transformation Tseitin, architecture Booclector, et des classes de complexité. Il couvre des sujets comme les opérateurs bit-wise, le déplacement, la double propagation, et la vérification des modèles.