About this Course

3,646 recent views
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Intermediate Level
Approx. 25 hours to complete
English
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own 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.