About this Course

2,230 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

Week1
Week 1
3 hours to complete

SAT/SMT basics, SAT examples

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

SMT applications

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

Theory and algorithms for CNF-based SAT

3 hours to complete
6 videos (Total 56 min)
Week4
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.