The following pages link to Logic Programming (Q5475765):
Displaying 9 items.
- G12 (Q22081) (← links)
- The design of the zinc modelling language (Q941812) (← links)
- Constraint programming and operations research (Q1616390) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- Dantzig-Wolfe decomposition and branch-and-price solving in G12 (Q2430361) (← links)
- Solving RCPSP/max by lazy clause generation (Q2434317) (← links)
- Demand-Driven Normalisation for ACD Term Rewriting (Q5325772) (← links)
- From High-Level Model to Branch-and-Price Solution in G12 (Q5387632) (← links)
- Cadmium: An Implementation of ACD Term Rewriting (Q5504678) (← links)
