The Conflict-Driven Answer Set Solver clasp: Progress Report [chapter]

Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009 Lecture Notes in Computer Science  
We summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp. Apart from enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, such as cautious and brave reasoning, optimization, solution projection, and incremental solving.
doi:10.1007/978-3-642-04238-6_50 fatcat:p3svekro2vfnziln2udpclsequ