Lecture 1: SAT: Foundations
Week 1 | Mar 30 – Apr 5
Content will be posted before class.
Lectures
CARS meets every Tuesday evening (18:30-21:20) in CSE2 G10. Each lecture has three phases: Practice (hands-on solver-aided programming), Theory (algorithms and foundations), and Studio (guided exercises or reading discussion). Lecture content will be posted here as the quarter progresses.
Lecture 2: SAT: Applications
Week 2 | Apr 6 – Apr 12
Content will be posted before class.
Lecture 3: Theory Solvers
Week 3 | Apr 13 – Apr 19
Content will be posted before class.
Lecture 4: SMT: Foundations
Week 4 | Apr 20 – Apr 26
Content will be posted before class.
Lecture 5: SMT: Modeling
Week 5 | Apr 27 – May 3
Content will be posted before class.
Lecture 6: SMT: Engineering
Week 6 | May 4 – May 10
Content will be posted before class.
Lecture 7: Program Verification
Week 7 | May 11 – May 17
Content will be posted before class.
Lecture 8: Verification in Practice
Week 8 | May 18 – May 24
Content will be posted before class.
Lecture 9: Mini-Project: Milestone
Week 9 | May 25 – May 31
Content will be posted before class.
Lecture 10: Mini-Project: Final
Week 10 | Jun 1 – Jun 7
Content will be posted before class.