|
|
|
|
|
Marcello Balduccini, Michael Barborak and David Ferrucci
Incremental techniques aim at making it possible to improve the performance of the grounding and solving processes by reusing the results of previous executions. Clingo supports both incremental grounding and incremental solving computations. In order to...
ver más
|
|
|
|
|