Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Overview of the CaSPER* constraint solvers
September 2008
cb08a
This paper describes the casperzito and casperzao constraint solvers submitted to the CPAI08 solver competition. These solvers are instances of the CaSPER library, an open C++ library for constraint solving that includes a set of specialized propagators for integer global constraints taken from recent literature. Additionally, we perform automatic symmetry detection and symmetry breaking, and implement original work on impact based search and search strategy sampling.
Technical report
Marco Correia, Pedro Barahona
International CP Solver competition - CPAI08
-
-
-
-
-
Publication files
- click here to download - pdf 240 KB
Export formats
Marco Correia and Pedro Barahona, Overview of the CaSPER* constraint solvers, International CP Solver competition - CPAI08, September 2008.
Marco Correia and Pedro Barahona, <b>Overview of the CaSPER* constraint solvers</b>, International CP Solver competition - CPAI08, September 2008.
@techreport {cb08a, author = {Marco Correia and Pedro Barahona}, title = {Overview of the CaSPER* constraint solvers}, type= {International CP Solver competition - CPAI08}, abstract = {This paper describes the casperzito and casperzao constraint solvers submitted to the CPAI08 solver competition. These solvers are instances of the CaSPER library, an open C++ library for constraint solving that includes a set of specialized propagators for integer global constraints taken from recent literature. Additionally, we perform automatic symmetry detection and symmetry breaking, and implement original work on impact based search and search strategy sampling.}, month = {September}, year = {2008}, }
Publication's urls
/publications/view.php?code=cfbfd86a39151204b3de14999cf220b3
/publications/view.php?code=cb08a
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT