Conference Proceedings

SUNNY-CP: a Sequential CP Portfolio Solver

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, D Shin

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 | ASSOC COMPUTING MACHINERY | Published : 2015