A parallel memory-efficient epistemic logic program solver: harder, better, faster
Crossref DOI link: https://doi.org/10.1007/s10472-019-09621-1
Published Online: 2019-04-23
Published Print: 2019-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kahl, Patrick Thor http://orcid.org/0000-0002-7316-7616
Leclerc, Anthony P.
Tran, Son Cao
Text and Data Mining valid from 2019-04-23
Article History
First Online: 23 April 2019