swMATH31181MaRDI QIDQ42893FDOQ42893
Author name not available (Why is that?)
Official website: https://hal.inria.fr/hal-01227589/document
Source code repository: https://github.com/CP-Unibo/sunny-cp
Cited In (16)
- 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
- A review of literature on parallel constraint solving
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- Title not available (Why is that?)
- NumberJack
- Picat-SAT
- BIGNUM
- DOC-BRelax
- Essence
- meSAT
- SUNNY
- Wombit
- On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem
- CUD@SAT
This page was built for software: sunny-cp
