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