Sciweavers

Share
ICLP
2005
Springer

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems

9 years 5 months ago
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Programming (CLP) over finite domains. The objective is to identify how the solvers in the two domains respond to different problems, highlighting strengths and weaknesses of their implementations and suggesting criteria for choosing one approach versus the other. Ultimately, the work in this paper is expected to lay the ground for transfer of concepts between the two domains (e.g., suggesting ways to use CLP in the execution of ASP).
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICLP
Authors Agostino Dovier, Andrea Formisano, Enrico Pontelli
Comments (0)
books