Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). - Marco Cadoli; Toni Mancini; Davide Micaletto; Fabio Patrizi (WLP, 2006)

Evaluating ASP and Commercial Solvers on the CSPLib. - Toni Mancini; Davide Micaletto; Fabio Patrizi; Marco Cadoli (Constraints An Int. J., 2008)