Automated Reasoning: satisfiability
Completed by Jesper Steen Møller
January 4, 2021
25 hours (approximately)
Jesper Steen Møller's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability
Skills you will gain
- Category: Mathematical Modeling
- Category: Logical Reasoning
- Category: Verification And Validation
- Category: Deductive Reasoning
- Category: Algorithms
- Category: Theoretical Computer Science
- Category: Model Optimization
- Category: Applied Mathematics
- Category: Operations Research
- Category: Mathematical Software
- Category: Linear Algebra
- Category: Combinatorics
