sunny-cp
From MaRDI portal
Software:42893
swMATH31181MaRDI QIDQ42893FDOQ42893
Author name not available (Why is that?)
Source code repository: https://github.com/CP-Unibo/sunny-cp
Cited In (7)
- SUNNY-CP and the MiniZinc challenge
- Wombit: a portfolio bit-vector solver using word-level propagation
- Learning variable activity initialisation for lazy clause generation solvers
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
- A review of literature on parallel constraint solving
- Title not available (Why is that?)
- 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-cp
