SUNNY
From MaRDI portal
Cited in
(36)- DASWAM
- FlatZinc
- SATzilla
- CDAOstore
- NumberJack
- PhyloWS
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Proteus
- CSP2SAT4J
- On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem
- The algorithm selection competitions 2015 and 2017
- Wombit: a portfolio bit-vector solver using word-level propagation
- claspfolio 2
- Oscar.cbls
- Kangaroo
- YapOr
- Portfolio theorem proving and prover runtime prediction for geometry
- ASlib
- Portfolio approaches for constraint optimization problems
- Extreme cases in SAT problems
- ASlib: a benchmark library for algorithm selection
- Picat-SAT
- PARLOG
- llama
- BIGNUM
- April
- abcdSAT
- aspeed
- HaLoop
- meSAT
- sunny-cp
- SUNNY-CP and the MiniZinc challenge
- AutoFolio
- Wombit
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- A constraint-based local search backend for MiniZinc
This page was built for software: SUNNY
