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.
Coursera Labs
Includes hands on learning projects.
Learn more about Coursera Labs External Link
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.
Coursera Labs
Includes hands on learning projects.
Learn more about Coursera Labs External Link
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.