Evaluating asp and commercial solvers on the CSPLib (preliminary work (2006)

by Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
Venue:In WLP