You found CS 15-816.

Advanced Topics in Logic: Automated Reasoning and Satisfiability

Harbor turns your CS 15-816 notes into a readiness map so you can see what looks solid, shaky, or missing.

Built from this class—not a generic study guide.

Open this class

Free to open · No card