Automated Reasoning: satisfiability
Completed by André Luiz Feijó dos Santos
June 18, 2025
25 hours (approximately)
André Luiz Feijó dos Santos's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability
Skills you will gain
- Category: Verification And Validation
- Category: Algorithms
- Category: Applied Mathematics
- Category: Computational Logic
- Category: Logical Reasoning
- Category: Theoretical Computer Science
- Category: Combinatorics
- Category: Arithmetic
- Category: Mathematical Modeling
- Category: Linear Algebra
