Pushing the Limits of Clingo’s Incremental Grounding and Solving Capabilities in Practical Applications
Article in Algorithms (March 2023)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Algorithms (March 2023)
Book chapter in Lecture Notes in Computer Science (January 2016)