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