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