SUNNY
swMATH ID:  31800 
Software Authors:  Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 
Description:  SUNNY: a lazy portfolio approach for constraint solving. Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. In this paper we present SUNNY: a simple and flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute – without learning an explicit model – a schedule of them for solving a given Constraint Satisfaction Problem (CSP). Motivated by the performance reached by SUNNY vs. different simulations of other state of the art approaches, we developed sunnycsp, an effective portfolio solver that exploits the underlying SUNNY algorithm in order to solve a given CSP. Empirical tests conducted on exhaustive benchmarks of MiniZinc models show that the actual performance of sunnycsp conforms to the predictions. This is encouraging both for improving the power of CSP portfolio solvers and for trying to export them to fields such as Answer Set Programming and Constraint Logic Programming. 
Homepage:  https://arxiv.org/abs/1311.3353 
Keywords:  algorithms portfolio; artificial intelligence; constraint satisfaction; machine learning 
Related Software:  SATzilla; MiniZinc; Proteus; sunnycp; aspeed; SMAC; claspfolio 2; meSAT; llama; ASlib; WEKA; NumberJack; KLEE; z3; PMTK; Chaff; MiniSat; SCIP; AutoFolio; autosklearn 
Cited in:  12 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 
2014

all
top 5
Cited by 32 Authors
all
top 5
Cited in 6 Serials
2  Artificial Intelligence 
2  Annals of Mathematics and Artificial Intelligence 
2  Theory and Practice of Logic Programming 
1  Theoretical Computer Science 
1  Journal of Automated Reasoning 
1  Constraints 
Cited in 3 Fields
11  Computer science (68XX) 
4  Operations research, mathematical programming (90XX) 
1  Geometry (51XX) 