research
∙
05/27/2017
Multi-shot ASP solving with clingo
We introduce a new flexible paradigm of grounding and solving in Answer ...
share
research
∙
05/12/2017
Clingcon: The Next Generation
We present the third generation of the constraint answer set system clin...
research
∙
10/11/2012
Multi-threaded ASP Solving with clasp
We present the new multi-threaded version of the state-of-the-art answer...
research
∙
05/11/2010