Evaluating ASP and commercial solvers on the CSPLib
scientific article; zbMATH DE number 5559827