À propos de ce cours
6,425 consultations récentes

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.

Niveau intermédiaire

Approx. 10 heures pour terminer

Recommandé : 8 hours/week...

Anglais

Sous-titres : Anglais

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.

Niveau intermédiaire

Approx. 10 heures pour terminer

Recommandé : 8 hours/week...

Anglais

Sous-titres : Anglais

Les étudiants prenant part à ce Course sont

  • Machine Learning Engineers
  • Researchers
  • Data Scientists
  • Software Engineers
  • Engineers

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1
1 heures pour terminer

SAT/SMT basics, SAT examples

6 vidéos (Total 58 min), 2 lectures, 3 quiz
6 vidéos
Introduction to SAT7 min
SMT syntax and tools11 min
Eight queens problem9 min
Binary Arithmetic: addition10 min
Binary Arithmetic: multiplication12 min
2 lectures
Examples from the lecture10 min
Eight queens formula in SMT syntax10 min
3 exercices pour s'entraîner
Truth table2 min
Carries in binary addition2 min
Binary multiplication2 min
Semaine
2
17 heures pour terminer

SMT applications

4 vidéos (Total 33 min), 2 lectures, 7 quiz
4 vidéos
Solving Sudoku7 min
Scheduling8 min
Bounded model checking8 min
2 lectures
Sudoku formula in SMT 2 format10 min
Introduction10 min
7 exercices pour s'entraîner
Rectangle fitting2 min
Scheduling2 min
Bounded Model Checking2 min
Filling trucks for a magic factory4 h
A sudoku variant4 h
Job scheduling4 h
Program correctness4 h
Semaine
3
1 heures pour terminer

Theory and algorithms for CNF-based SAT

6 vidéos (Total 56 min), 5 quiz
6 vidéos
Example of resolution8 min
DPLL10 min
Transforming DPLL to resolution9 min
CDCL basics11 min
CDCL optimizations6 min
5 exercices pour s'entraîner
Resolution2 min
apply resolution2 min
DPLL2 min
DPLL to resolution2 min
CDCL basics
Semaine
4
1 heures pour terminer

Theory and algorithms for SAT/SMT

6 vidéos (Total 55 min), 4 quiz
6 vidéos
The Tseitin transfomation10 min
Introduction to the Simplex method7 min
Optimizing by the Simplex method11 min
Checking feasibility by the Simplex method8 min
The Simplex method and SMT8 min
4 exercices pour s'entraîner
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method
4.8
3 avisChevron Right

Principaux examens pour Automated Reasoning: satisfiability

par JSJul 19th 2019

This was a great introductory course for satisfiability. I strongly recommend you to solve all the honorary problems because they were so useful for thorough understanding.

par SSAug 2nd 2019

The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers

Enseignants

Avatar

Hans Zantema

prof.dr.
Department of Mathematics and Computer Science

À propos de EIT Digital

EIT Digital is a pan-European organization whose mission is to foster digital technology innovation and entrepreneurial talent for economic growth and quality of life. By linking education, research and business, EIT Digital empowers digital top talents for the future. EIT Digital provides online and blended Innovation and Entrepreneurship education to raise quality, increase diversity and availability of the top-level content provided by 20 leading technical universities around Europe. The universities deliver a unique blend of the best of technical excellence and entrepreneurial skills and mindset to digital engineers and entrepreneurs at all stages of their careers. The academic partners support Coursera’s bold vision to enable anyone, anywhere, to transform their lives by accessing the world’s best learning experience. This means that EIT Digital gradually shares parts of its entrepreneurial and academic education programmes to demonstrate its excellence and make it accessible to a much wider audience. EIT Digital’s online education portfolio can be used as part of blended education settings, in both Master and Doctorate programmes, and for professionals as a way to update their knowledge. EIT Digital offers an online programme in 'Internet of Things through Embedded Systems'. Achieving all certificates of the online courses and the specialization provides an opportunity to enroll in the on campus program and get a double degree. Please visit https://www.eitdigital.eu/eit-digital-academy/ ...

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.