- Computational Logic
- Verification And Validation
- Logical Reasoning
- Theoretical Computer Science
- Operations Research
- Applied Mathematics
- Linear Algebra
- Mathematical Modeling
- Combinatorics
- Algorithms
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
