Optimizing Answer Set Computation via Heuristic-Based Decomposition
Crossref DOI link: https://doi.org/10.1007/978-3-319-73305-0_9
Published Online: 2017-12-22
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Calimeri, Francesco http://orcid.org/0000-0002-0866-0834
FuscĂ , Davide http://orcid.org/0000-0001-6944-6869
Perri, Simona http://orcid.org/0000-0002-8036-5709
Zangari, Jessica http://orcid.org/0000-0002-6418-7711
License valid from 2017-12-22