Code
IGFE NET 7347
Domain
Réseaux
Program
Master
Language
Anglais/English
ECTS Credits
2,5
Class hours
21
Workload
63
Organisation
Cours/TD/TP/projet/examen :Learning objectives
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.
Prerequisites
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.