sunny-cp

MaRDI QIDQ42893swMATHFDO

Official website https://hal.inria.fr/hal-01227589/document

Source code repository https://github.com/CP-Unibo/sunny-cp

Cited in

(17)

• FRODO__2
• NumberJack
• Learning variable activity initialisation for lazy clause generation solvers
• On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem
• Wombit: a portfolio bit-vector solver using word-level propagation
• Picat-SAT
• BIGNUM
• Essence
• DOC-BRelax
• meSAT
• SUNNY
• A review of literature on parallel constraint solving
• SUNNY-CP and the MiniZinc challenge
• scientific article; zbMATH DE number 7453148 (Why is no real title available?)
• Wombit
• Why CP portfolio solvers are (under)utilized? Issues and challenges
• CUD@SAT

This page was built for software: sunny-cp