Cuteri, Bernardo

1 publications

IJCAI 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller