Zinc

swMATH8334MaRDI QIDQ20343FDOQ20343

Author name not available (Why is that?)

Cited In (28)

• Progress towards the Holy Grail
• 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
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• MathOptInterface: A Data Structure for Mathematical Optimization Problems
• 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