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