Constraint Logic Programming; Answer set programming; Combinatorics

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 …