Evaluating ASP and commercial solvers on the CSPLib (2008)

by T Mancini, D Micaletto, F Patrizi, M Cadoli
Venue:Constraints