Automated Reasoning
satisfiability
Get a Reminder
Rating | 4.7★ based on 4 ratings |
---|---|
Length | 5 weeks |
Starts | Jun 26 (40 weeks ago) |
Cost | $49 |
From | EIT Digital via Coursera |
Instructor | Hans Zantema |
Download Videos | On all desktop and mobile devices |
Language | English |
Subjects | Programming Data Science |
Tags | Computer Science Data Science Data Analysis Algorithms |
Get a Reminder
Similar Courses
What people are saying
useful for thorough understanding
I strongly recommend you to solve all the honorary problems because they were so useful for thorough understanding.
honorary problems because
nice introduction
Nice Introduction to SAT, SMT.
bit confusing
Good course, but some quizes are a bit confusing :)Thank you very much professor.
great introductory
This was a great introductory course for satisfiability.
much professor
so useful
solve all
some quizes
Careers
An overview of related careers and their average salaries in the US. Bars indicate income percentile.
New Graduate Registered Nurses Apply Now! $40k
Teach DetroitÂs Next Generation of Leaders. Apply Today! $48k
AWS Developer - (OPT EAD can apply) $63k
Write a review
Your opinion matters. Tell us what you think.
Please login to leave a review
Rating | 4.7★ based on 4 ratings |
---|---|
Length | 5 weeks |
Starts | Jun 26 (40 weeks ago) |
Cost | $49 |
From | EIT Digital via Coursera |
Instructor | Hans Zantema |
Download Videos | On all desktop and mobile devices |
Language | English |
Subjects | Programming Data Science |
Tags | Computer Science Data Science Data Analysis Algorithms |
Similar Courses
Sorted by relevance
Like this course?
Here's what to do next:
- Save this course for later
- Get more details from the course provider
- Enroll in this course