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