- Mathematical Modeling
- Operations Research
- Linear Algebra
- Applied Mathematics
- Verification And Validation
- Theoretical Computer Science
- Algorithms
- Logical Reasoning
- Computational Logic
- Combinatorics
Automated Reasoning: satisfiability
Completed by Himanshu Sheoran
May 2, 2020
25 hours (approximately)
Himanshu Sheoran's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability
Skills you will gain
