Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Saved in:

Bibliographic Details
Title:	Optimizing Answer Set Computation via Heuristic-Based Decomposition.
Authors:	CALIMERI, FRANCESCO¹ (AUTHOR) calimeri@mat.unical.it, PERRI, SIMONA¹ (AUTHOR), ZANGARI, JESSICA¹ (AUTHOR)
Source:	Theory & Practice of Logic Programming. Jul2019, Vol. 19 Issue 4, p603-628. 26p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068419000036