Vol-4116⫷ Vol-4117 ⫸Vol-4118
urn:nbn:de:0074-4117-0


Vol-4117/preface⫷Vol-4117/paper_rcra_1⫸Vol-4117/short_rcra_1
Andrea CuteriGiuseppe MazzottaFrancesco Ricca

Enhancing Compilation-based ASP Solving with Postponed Atom Discovery