Code
IGFE NET 7347
Domaine
Réseaux
Programme
Master
Langue
Anglais/English
Crédits ECTS
2,5
Heures programmées
21
Charge de travail
63
Organisation
Cours/TD/TP/projet/examen :Acquis d'apprentissage
A student following the course will:
- learn to model complex problems from the AI and verification domain using logic, and solve them using sat and SMT solvers
- understand and apply the concepts of modern satisfiability algorithms (learning, non-chronological backtracking) also for first-order theories (lazy approach, theory solvers)
- learn how to use modern SAT and SMT solvers.
Prérequis
Cellular Networks (OFDMA/LTE) architectures and technologies, modeling and performance evaluation techniques (Queuing theory, event based simulation …)
Evaluation
The course will be evaluated via weekly multiple choice questions (20%) and an individual project.