Just completed our part on Conflict-driven ASP solving, reaching from a nogood-based characterization of stable models to the algorithmic framework underlying modern ASP solvers

slides videos workspace

In addition, this material contains two blueboard sessions

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

along with a summary of

  • nogoods, solutions, and unit propagation pdf

and finally a great source for detailing the material

  • 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

That’s it, folks! Stay safe, and enjoy!!