You're currently viewing an old version of this dataset. To see the current version, click here.

sunny-cp2

The dataset used in the paper is a portfolio of 12 solvers for constraint programming, including 8 solvers from sunny-cp and 4 new solvers.

Data and Resources

This dataset has no data

Cite this as

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2024). Dataset: sunny-cp2. https://doi.org/10.57702/4j1ph6xr

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.1502.03986
Author Roberto Amadini
More Authors
Maurizio Gabbrielli
Jacopo Mauro
Homepage https://github.com/CP-Unibo/sunny-cp