Automated Reasoning: satisfiability
Completed by Kartik B Bhargav
October 13, 2020
25 hours (approximately)
Kartik B Bhargav'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: Arithmetic
- Category: Computational Logic
- Category: Verification And Validation
