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

Citations by Year