About this Course

5,720 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 25 hours to complete
English
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 25 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

3 hours to complete

SAT/SMT basics, SAT examples

3 hours to complete
6 videos (Total 58 min), 2 readings, 3 quizzes
Week
2

Week 2

18 hours to complete

SMT applications

18 hours to complete
4 videos (Total 33 min), 2 readings, 7 quizzes
Week
3

Week 3

3 hours to complete

Theory and algorithms for CNF-based SAT

3 hours to complete
6 videos (Total 56 min)
Week
4

Week 4

1 hour to complete

Theory and algorithms for SAT/SMT

1 hour to complete
6 videos (Total 55 min)

Reviews

TOP REVIEWS FROM AUTOMATED REASONING: SATISFIABILITY

View all reviews

Frequently Asked Questions

More questions? Visit the Learner Help Center.