We just uploaded the first sections of the solving part dealing with nogoods for completion and loop formulas, the building blocks of our algorithmic framework

Slides

pdf git v1.11.3

Videos

playlist hms

  • introduction yt up
  • boolean constraints yt up
  • nogoods from logic programs
    • completion nogoods yt up
    • loop nogoods yt up