AAA528-25S - SAL@KU

Computational Logic, 2025 Spring

Course Information

Instructor: Hakjoo Oh
Lecture: 13:30-15:45 on Wednesdays

Slides

Course Overview: lec0.pdf
Propositional Logic: lec1.pdf, lec2.pdf
SAT application: lec3.pdf

Hands-On Sessions

SAT solver sat.pdf (due 3/30)
SAT application (1) sat-app1.pdf (due 4/9)
SAT application (2) sat-app2.pdf (due 4/16)

Software Analysis Lab. @ Korea University