Cited in
(17)- Learning variable activity initialisation for lazy clause generation solvers
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- FRODO__2
- 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
- A review of literature on parallel constraint solving
- SUNNY-CP and the MiniZinc challenge
- CUD@SAT
- scientific article; zbMATH DE number 7453148 (Why is no real title available?)
- Wombit: a portfolio bit-vector solver using word-level propagation
This page was built for software: sunny-cp
