Cited in
(17)- MiniBrass: soft constraints for MiniZinc
- Constraint programming and operations research
- The design of the zinc modelling language
- SCIL
- Cadmium
- NumberJack
- URBiVA
- SIMPLY
- fzn2smt
- MiniSearch
- MiniBrass
- Dantzig-Wolfe decomposition and branch-and-price solving in G12
- Cadmium: An Implementation of ACD Term Rewriting
- URSA: a system for uniform reduction to SAT
- Demand-Driven Normalisation for ACD Term Rewriting
- Solving RCPSP/max by lazy clause generation
- From High-Level Model to Branch-and-Price Solution in G12
This page was built for software: G12
