Dataset Groups Activity Stream 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. BibTex: @dataset{Roberto_Amadini_and_Maurizio_Gabbrielli_and_Jacopo_Mauro_2024, abstract = {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.}, author = {Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro}, doi = {10.57702/4j1ph6xr}, institution = {No Organization}, keyword = {'Constraint Programming', 'Portfolio Solvers', 'Sunny-cp2'}, month = {dec}, publisher = {TIB}, title = {sunny-cp2}, url = {https://service.tib.eu/ldmservice/dataset/sunny-cp2}, year = {2024} }
