View in EDS PDF Full Text

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

Saved in:
Bibliographic Details
Title: Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.
Authors: CUTERI, BERNARDO1 cuteri@mat.unical.it, DODARO, CARMINE2 dodaro@dibris.unige.it, RICCA, FRANCESCO1 ricca@mat.unical.it, SCHÜLLER, PETER3 schueller.p@gmail.com
Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p780-799. 20p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068417000254