Lecture slides

pdf git v1.11.4

Lecture videos

playlist hms

  • introduction yt up
  • boolean constraints yt up
  • nogoods from logic programs
    • completion nogoods yt up
    • loop nogoods yt up
  • conflict-driven nogood learning
    • introduction yt up
    • cdnl algorithm yt up
    • nogood propagation yt up
    • conflict analysis yt up
  • summary yt up