Coursera
EIT Digital
Automated Reasoning: satisfiability (Coursera)
Dive into the world of Automated Reasoning with our course on Satisfiability (SAT/SMT) Tools. Master the art of applying these powerful tools to solve complex scheduling problems, fit rectangles for printing posters, tackle puzzles, and ensure program correctness. Gain a comprehensive understanding of resolution, CDCL framework, and simplex method.
