Completed
Cores and Correction Sets
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Programming Z3
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Outline
- 3 Satisfiability Modulo Theories (SMT)
- 4 Technology Sisters, Brothers, Cousins
- 5 SAT + Theory solvers
- 6 Programming CDCL(T)
- 7 Main Theory Interfaces
- 8 CDCL(T) - as inference rules
- 9 Combining Theories
- 10 A Solver for Unicode Characters
- 11 Solving Arithmetic
- 12 Solvers - beyond CDCL(T)
- 13 Consequential SMT
- 14 Cores and Correction Sets
- 15 Some active areas
