sunny-cp swMATH ID: 31181 Software Authors: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Description: SUNNY-CP : a Sequential CP Portfolio Solver. The Constraint Programming (CP) paradigm allows to model and solve Constraint Satisfaction / Optimization Problems (CSPs / COPs). A CP Portfolio Solver is a particular constraint solver that takes advantage of a portfolio of different CP solvers in order to solve a given problem by properly exploiting Algorithm Selection techniques. In this work we present sunny-cp: a CP portfolio for solving both CSPs and COPs that turned out to be competitive also in the MiniZinc Challenge, the reference competition for CP solvers. Homepage: https://hal.inria.fr/hal-01227589/document Source Code: https://github.com/CP-Unibo/sunny-cp Related Software: SUNNY; MiniZinc; SATzilla; NumberJack; Chaff; CUD@SAT; Essence; aspeed; ManySAT; meSAT; Proteus; Picat-SAT; NeuroSAT; CrystalBall; CHUFFED; GitHub; Lingeling; DOC-BRelax; HordeSat; Plingeling Cited in: 7 Documents all top 5 Cited by 19 Authors 2 Amadini, Roberto 2 Gabbrielli, Maurizio 2 Mauro, Jacopo 1 Dantas, Augusto Cesar Heluy 1 Demirović, Emir 1 Gent, Ian Philip 1 McCreesh, Ciaran 1 Miguel, Ian 1 Moore, Neil C. A. 1 Nightingale, Peter W. 1 Pozo, Aurora Trinidad Ramirez 1 Prosser, Patrick 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Tardivo, Fabio 1 Unsworth, Chris 1 van Driel, Ronald 1 Wang, Wenxi 1 Yorke-Smith, Neil Cited in 3 Serials 2 Theory and Practice of Logic Programming 1 Theoretical Computer Science 1 Journal of Automated Reasoning Cited in 2 Fields 7 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) Citations by Year