Automated Reasoning: satisfiability
Completed by Ivan Lipatov
March 24, 2025
25 hours (approximately)
Ivan Lipatov's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability
What you will learn
Learn the fundamentals of SAT (Boolean Satisfiability) and SMT (Satisfiability Modulo Theories) solving
Apply SAT/SMT techniques to real problems such as scheduling, Sudoku solving, rectangle fitting, and program verification.
Understand core SAT-solving algorithms including Resolution, DPLL, and CDCL.
Use the Simplex method and SMT techniques to reason about linear inequalities and optimization problems.
Skills you will gain
- Category: Deductive Reasoning
- Category: Linear Algebra
- Category: Mathematical Software
- Category: Computational Logic
- Category: Operations Research
- Category: Logical Reasoning
- Category: Model Optimization
- Category: Arithmetic
- Category: Combinatorics
- Category: Verification And Validation
- Category: Applied Mathematics
- Category: Mathematical Modeling
