Cited in
(62)- Logic Programming
- Decidability and undecidability results for propositional schemata
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- Constraint programming-based column generation
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- ConstraintSolver.jl
- Progress towards the Holy Grail
- ReCaml: execution state as the cornerstone of reconfigurations
- MathOptInterface: A Data Structure for Mathematical Optimization Problems
- Modeling machine learning and data mining problems with \(\mathrm{FO}(\cdot )\)
- Expressive power and abstraction in Essence
- On the reification of global constraints
- The design of the zinc modelling language
- NP-SPEC
- SALSA
- COMET
- Mosel
- Gecode
- MiniZinc
- Rules2CP
- LPFML
- Cadmium
- B-Prolog
- SPIKE
- BL data set
- ABC
- G12
- MPL
- ReCaml
- COIN/BCP
- SICStus
- CLPGUI
- DyLP
- XMLSpy
- CMPL
- pyCMPL
- Towards automatic resource bound analysis for OCaml
- Essence: A constraint language for specifying combinatorial problems
- MiningZinc
- bc-opt
- mplp2
- OPL
- Osprey
- RAML
- ESRA
- IDP
- Modeling with metaconstraints and semantic typing of variables
- Essence
- Krimp
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Explaining circuit propagation
- Integrating operations research in constraint programming
- Constraint programming-based column generation
- Search combinators
- Using dual presolving reductions to reformulate cumulative constraints
- MiningZinc: a declarative framework for constraint-based mining
- Constraint answer set solver EZCSP and why integration schemas matter
- Explaining the \texttt{cumulative} propagator
- Communication protocols for options and results in a distributed optimization environment
- Computational protein design as an optimization problem
- Semiring programming: a semantic framework for generalized sum product problems
- Enumerated types and type extensions for MiniZinc
This page was built for software: Zinc
