sunny-cp

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