Skip to content

Latest commit

 

History

History
21 lines (18 loc) · 808 Bytes

msolving.md

File metadata and controls

21 lines (18 loc) · 808 Bytes
Raw
layout title permalink
page
Multi-shot solving
/msolving/

Lecture slides

pdf git v.21.0

Literature

  • R. Kaminski, J. Romero, T. Schaub, and P Wanko (2023). “How to build your own ASP-based system?!”. In: Theory and Practice of Logic Programming 23.1, pp. 299-361. pdf
  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2019). “Multi-shot ASP solving with clingo”. In: Theory and Practice of Logic Programming 19.1, pp. 27-82. pdf