G12

swMATH10112MaRDI QIDQ22081FDOQ22081

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/11562931_3

Described by source

• Logic Programming

Cited In (16)

• MiniBrass: soft constraints for MiniZinc
• Constraint programming and operations research
• The design of the zinc modelling language
• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• Cadmium
• NumberJack
• URBiVA
• SIMPLY
• fzn2smt
• MiniSearch
• MiniBrass
• 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