- Logical Reasoning
- Theoretical Computer Science
- Arithmetic
- Algorithms
- Verification And Validation
- Computational Logic
- Combinatorics
- Applied Mathematics
- Linear Algebra
- Mathematical Modeling
Automated Reasoning: satisfiability
Completed by Jesper Steen Møller
January 4, 2021
25 hours (approximately)
Jesper Steen Møller's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability
Skills you will gain
