The design of the zinc modelling language
From MaRDI portal
Publication:941812
DOI10.1007/s10601-008-9041-4zbMath1146.68352OpenAlexW2000059300MaRDI QIDQ941812
Kim Marriott, Maria Garcia de la Banda, Reza Rafeh, Peter J. Stuckey, Nicholas Nethercote, Mark G. Wallace
Publication date: 2 September 2008
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-008-9041-4
Related Items
Progress towards the Holy Grail, Communication protocols for options and results in a distributed optimization environment, \textsc{Conjure}: automatic generation of constraint models from problem specifications, Enumerated types and type extensions for MiniZinc, MathOptInterface: A Data Structure for Mathematical Optimization Problems, Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3, Constraint answer set solver EZCSP and why integration schemas matter, Semiring programming: a semantic framework for generalized sum product problems, Explaining the \texttt{cumulative} propagator, Computational protein design as an optimization problem, Using dual presolving reductions to reformulate cumulative constraints, Search combinators, Detection and exploitation of functional dependencies for model generation, The design of the zinc modelling language, Essence: A constraint language for specifying combinatorial problems, Expressive power and abstraction in Essence, MiningZinc: a declarative framework for constraint-based mining, Integrating operations research in constraint programming, Constraint programming-based column generation, Constraint programming-based column generation, From Rules to Constraint Programs with the Rules2CP Modelling Language, CP methods for scheduling and routing with~time-dependent task costs, Modeling with Metaconstraints and Semantic Typing of Variables, On the reification of global constraints, Explaining circuit propagation, Lifted Reasoning for Combinatorial Counting
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A Modeling Language for Mathematical Programming
- The design of the zinc modelling language
- Essence: A constraint language for specifying combinatorial problems
- The intractability of resolution
- Establishing the optimality of sequencing heuristics for cutting stock problems
- A language and a program for stating and solving combinatorial problems
- Modeling languages in mathematical optimization.
- Parallel Local Search in Comet
- Constraint Logic Programming Using ECLiPSe
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Logic Programming
- Logic Based Program Synthesis and Transformation
- Checking modes of HAL programs