Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schller

Browse the full IJCAI paper archive.