R13: Heuristics at Siemens

https://pdfs.semanticscholar.org/f160/6f09df03bd3c2b5f0b0fd4b0d6058c1e188a.pdf Links to an external site.

Note, where this paper uses terms like _heuristic and executes a tool called hclasp, we can use #heuristic directives now that they are built into the normal version of clasp in clingo-5.

Please copy your discussion questions into the discussion thread.