Pages that link to "Item:Q941812"
From MaRDI portal
The following pages link to The design of the zinc modelling language (Q941812):
Displaying 26 items.
- Communication protocols for options and results in a distributed optimization environment (Q298160) (← links)
- Using dual presolving reductions to reformulate cumulative constraints (Q487651) (← links)
- Search combinators (Q487659) (← links)
- MiningZinc: a declarative framework for constraint-based mining (Q511753) (← links)
- Explaining the \texttt{cumulative} propagator (Q647477) (← links)
- The design of the zinc modelling language (Q941812) (← links)
- Essence: A constraint language for specifying combinatorial problems (Q941817) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Progress towards the Holy Grail (Q1616388) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Enumerated types and type extensions for MiniZinc (Q2170216) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- On the reification of global constraints (Q2342583) (← links)
- Explaining circuit propagation (Q2342589) (← links)
- Computational protein design as an optimization problem (Q2453727) (← links)
- CP methods for scheduling and routing with~time-dependent task costs (Q2513747) (← links)
- Modeling with Metaconstraints and Semantic Typing of Variables (Q2806860) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- MathOptInterface: A Data Structure for Mathematical Optimization Problems (Q5085984) (← links)
- From Rules to Constraint Programs with the Rules2CP Modelling Language (Q5191407) (← links)
- Detection and exploitation of functional dependencies for model generation (Q5398289) (← links)
- Lifted Reasoning for Combinatorial Counting (Q5870533) (← links)
- Integrating operations research in constraint programming (Q5900889) (← links)
- Constraint programming-based column generation (Q5902286) (← links)
- Constraint programming-based column generation (Q5919991) (← links)
