solving.md

layout	title	permalink
page	Solving	/solving/

Lecture slides

pdf git v1.11.6

Lecture videos

playlist 2h32m58s

• 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 search algorithm yt up
  • nogood propagation yt up
  • conflict analysis yt up
• summary yt up

Blue board videos

• conflict-driven nogood learning, search algorithm yt up
• conflict-driven nogood learning, conflict analysis, resolution yt up

Extra slides

• nogoods, solutions, and unit propagation pdf

• blue board, conflict-driven nogood learning, search algorithm pdf

• blue board, conflict-driven nogood learning, conflict analysis pdf

Literature

• M. Gebser, B. Kaufmann, and T. Schaub (2012). “Conflict-Driven Answer Set Solving: From Theory to Practice”. In: Artificial Intelligence 187-188, pp. 52-89. pdf

Exercise sheets

pdf git v1.2.0

Exercise videos

playlist

• nogoods yt
• nogoods and propagation yt
• conflict analysis yt
• cdnl-asp 1 yt
• cdnl-asp 2 yt