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