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