Media type: E-Article Title: Evaluating ASP and Commercial Solvers on the CSPLib Contributor: Mancini, Toni; Micaletto, Davide; Patrizi, Fabio; Cadoli, Marco imprint: Springer Science and Business Media LLC, 2008 Published in: Constraints Language: English DOI: 10.1007/s10601-007-9028-6 ISSN: 1383-7133; 1572-9354 Keywords: Artificial Intelligence ; Computational Theory and Mathematics ; Discrete Mathematics and Combinatorics ; Software Origination: Footnote: