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