SUNNY
From MaRDI portal
Software:43511
swMATH31800MaRDI QIDQ43511FDOQ43511
Author name not available (Why is that?)
Cited In (11)
- SUNNY-CP and the MiniZinc challenge
- Wombit: a portfolio bit-vector solver using word-level propagation
- Portfolio approaches for constraint optimization problems
- Algorithm selection for dynamic symbolic execution: a preliminary study
- ASlib: a benchmark library for algorithm selection
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
- Portfolio theorem proving and prover runtime prediction for geometry
- The algorithm selection competitions 2015 and 2017
- Extreme Cases in SAT Problems
- A constraint-based local search backend for MiniZinc
- On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem
This page was built for software: SUNNY
