- Applied Mathematics
- Algorithms
- Theoretical Computer Science
- Computational Logic
- Operations Research
- Mathematical Modeling
- Arithmetic
- Linear Algebra
- Combinatorics
Automated Reasoning: satisfiability
Completed by Risheng Xu
January 14, 2021
25 hours (approximately)
Risheng Xu's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability
Skills you will gain
