Pages that link to "Item:Q2931261"
From MaRDI portal
The following pages link to SUNNY: a Lazy Portfolio Approach for Constraint Solving (Q2931261):
Displaying 13 items.
- SUNNY (Q43511) (← links)
- Portfolio approaches for constraint optimization problems (Q276552) (← links)
- ASlib: a benchmark library for algorithm selection (Q286390) (← links)
- A constraint-based local search backend for MiniZinc (Q890003) (← links)
- On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem (Q2285657) (← links)
- The algorithm selection competitions 2015 and 2017 (Q2321293) (← links)
- Wombit: a portfolio bit-vector solver using word-level propagation (Q2323450) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Extreme Cases in SAT Problems (Q2818004) (← links)
- SUNNY-CP and the MiniZinc challenge (Q4603429) (← links)
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Algorithm selection on a meta level (Q6106469) (← links)
