NumberJack
From MaRDI portal
Cited in
(21)- ToulBar2
- Proteus
- G12
- MiniBrass: soft constraints for MiniZinc
- ROTOR
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Portfolio approaches for constraint optimization problems
- OpenGM
- mplp2
- DAOOPT
- Picat-SAT
- MiniSearch
- llama
- sunny-cp
- MiniBrass
- SUNNY
- SUNNY-CP and the MiniZinc challenge
- Solving the crop allocation problem using hard and soft constraints
- Introduction to combinatorial optimisation in Numberjack
- XMP
- Why CP portfolio solvers are (under)utilized? Issues and challenges
This page was built for software: NumberJack
