Automated Reasoning: satisfiability
Completed by Risheng Xu
January 14, 2021
25 hours (approximately)
Risheng Xu'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: Verification And Validation
- Category: Arithmetic
- Category: Computational Logic
