Conjunctive Normal Form

Sort options

Automated Reasoning: satisfiability (Coursera)

Aug 8th 2022
Automated Reasoning: satisfiability (Coursera)
Course Auditing
In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: fitting rectangles to be applied for printing posters, scheduling problems, solving puzzles, and program correctness. Also underlying theory [...]