UE SAT/SMT Solving

Informations aux utilisateurs

Veuillez noter que vous consultez une page du catalogue de formation 2020-2021. Le recrutement est actuellement terminé pour les licences, licences professionnelles, masters, DUT et formations réglementées de santé. Pour consulter le catalogue des formations 2021-2022, cliquez sur le lien suivant.

Diplômes intégrant cet élément pédagogique :

Descriptif

Understanding how decision procedures for SAT (Boolean satisfiability) and SMT (SAT enriched with arithmetic etc.) work, and how to use them in practice.

These procedures can be used in automatic analysis of software or hardware, in combinatorial optimisation or in search for solutions in operation research.

Contents :

  • SAT/SMT algorithms
  • Lab classes: using a SMT solver

Pré-requis recommandés

Basic mathematical logic : Boolean operators, quantifiers
Algorithmics
Programming

Informations complémentaires

Méthode d'enseignement : En présence
Langue(s) : Anglais