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