The following pages link to sunny-cp (Q42893):
Displaying 7 items.
- Learning variable activity initialisation for lazy clause generation solvers (Q2117201) (← links)
- On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem (Q2285657) (← links)
- Wombit: a portfolio bit-vector solver using word-level propagation (Q2323450) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)
- SUNNY-CP and the MiniZinc challenge (Q4603429) (← links)
- (Q5020593) (← links)
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)