Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli. Evaluating ASP and Commercial Solvers on the CSPLib. Constraints, 13(4):407-436, 2008. [doi]
@article{ManciniMPC08,
title = {Evaluating ASP and Commercial Solvers on the CSPLib},
author = {Toni Mancini and Davide Micaletto and Fabio Patrizi and Marco Cadoli},
year = {2008},
doi = {10.1007/s10601-007-9028-6},
url = {http://dx.doi.org/10.1007/s10601-007-9028-6},
tags = {constraints},
researchr = {https://researchr.org/publication/ManciniMPC08},
cites = {0},
citedby = {0},
journal = {Constraints},
volume = {13},
number = {4},
pages = {407-436},
}