G12

swMATH10112MaRDI QIDQ22081FDOQ22081

Author name not available (Why is that?)

Described by source

• Logic Programming

Cited In (9)

• 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: An Implementation of ACD Term Rewriting
• 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
• URSA: A System for Uniform Reduction to SAT

This page was built for software: G12