DMCA
Evaluating asp and commercial solvers on the CSPLib (preliminary work (2006)
by
Marco Cadoli
,
Toni Mancini
,
Davide Micaletto
,
Fabio Patrizi
| Venue: | In WLP |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Cadoli06evaluatingasp,
author = {Marco Cadoli and Toni Mancini and Davide Micaletto and Fabio Patrizi},
title = {Evaluating asp and commercial solvers on the CSPLib (preliminary work},
booktitle = {In WLP},
year = {2006},
pages = {54--63}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
1 Introduction The last decade has witnessed a large effort in the development of solvers for combinatorial prob-lems. The traditional approach based on writing ad hoc algorithms and programs (complete, such as backtracking, or incomplete, such as tabu search, simulated annealing, etc.) or translating ina format suitable for Integer Programming solvers (e.g., Ilog Cplex1), has been challenged bythe use of libraries for Constraint Programming (CP), e.g., Ilog
