swMATH7412MaRDI QIDQ19444FDOQ19444
Author name not available (Why is that?)
Official website: http://numberjack.ucc.ie/
Cited In (21)
- SUNNY-CP and the MiniZinc challenge
- MiniBrass: soft constraints for MiniZinc
- Portfolio approaches for constraint optimization problems
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- ToulBar2
- G12
- Proteus
- ROTOR
- DAOOPT
- mplp2
- OpenGM
- Picat-SAT
- MiniSearch
- llama
- MiniBrass
- sunny-cp
- SUNNY
- XMP
- Introduction to combinatorial optimisation in Numberjack
- Solving the crop allocation problem using hard and soft constraints
- Multi-language evaluation of exact solvers in graphical model discrete optimization
This page was built for software: NumberJack
