Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.
B. Cuteri, C. Dodaro, F. Ricca, and P. Schüller. IJCAI, page 1688-1694. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}