Cited in
(68)- MiniBrass: soft constraints for MiniZinc
- Enumeration of set-theoretic solutions to the Yang-Baxter equation
- Progress towards the Holy Grail
- Finding subgraphs with side constraints
- Semiring programming: a semantic framework for generalized sum product problems
- Lifted Reasoning for Combinatorial Counting
- Scenario-based learning for stochastic combinatorial optimisation
- Towards Copeland optimization in combinatorial problems
- A review of literature on parallel constraint solving
- The design of the zinc modelling language
- iOpt
- NP-SPEC
- COMET
- FRODO__2
- CSPLib
- Mozart
- FlatZinc
- Gecode
- MiniZinc
- JaCoP
- Rules2CP
- SAMPLE
- Cadmium
- NumberJack
- Zinc
- G12
- MINION
- Sugar
- AMUSE
- SIMPLY
- MUP
- NSPLib
- fzn2smt
- Kangaroo
- XASP
- CLPGUI
- PermLab
- SPLINTER
- MiningZinc
- OPL
- ESRA
- IDP
- MiniSearch
- CHUFFED
- DOC-BRelax
- Krimp
- meSAT
- MiniBrass
- sunny-cp
- RackEnumeration
- Calliope
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- scientific article; zbMATH DE number 7453149 (Why is no real title available?)
- A semantic account for modularity in multi-language modelling of search problems
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- scientific article; zbMATH DE number 5942124 (Why is no real title available?)
- Enumerated types and type extensions for MiniZinc
- Solving constraint satisfaction problems with SAT modulo theories
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- Using dual presolving reductions to reformulate cumulative constraints
- Glasgow subgraph solver
- SMS++
- MiningZinc: a declarative framework for constraint-based mining
- Expressive power and abstraction in Essence
- Compiling CP subproblems to MDDs and d-DNNFs
- A Module-Based Framework for Multi-language Constraint Modeling
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
This page was built for software: Essence
