SUNNY-CP: a sequential CP portfolio solver

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
January, 2015
PDF Cite DOI URL
Type
Conference paper
Publication
Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015