%0 Conference Paper %1 conf/ijcai/CuteriDRS20 %A Cuteri, Bernardo %A Dodaro, Carmine %A Ricca, Francesco %A Schüller, Peter %B IJCAI %D 2020 %E Bessiere, Christian %I ijcai.org %K dblp %P 1688-1694 %T Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#CuteriDRS20

@inproceedings{conf/ijcai/CuteriDRS20, added-at = {2020-07-13T00:00:00.000+0200}, author = {Cuteri, Bernardo and Dodaro, Carmine and Ricca, Francesco and Schüller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/27d90c9fb0420777064881cc7298dbd9a/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2020}, editor = {Bessiere, Christian}, ee = {https://doi.org/10.24963/ijcai.2020/234}, interhash = {2f57f26203d3759bcd392be924202d39}, intrahash = {7d90c9fb0420777064881cc7298dbd9a}, keywords = {dblp}, note = {Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic.}, pages = {1688-1694}, publisher = {ijcai.org}, timestamp = {2020-07-24T01:12:27.000+0200}, title = {Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#CuteriDRS20}, year = 2020 }