Essence
From MaRDI portal
Software:39207
swMATH27491MaRDI QIDQ39207FDOQ39207
Author name not available (Why is that?)
Cited In (25)
- MiniBrass: soft constraints for MiniZinc
- Progress towards the Holy Grail
- Finding subgraphs with side constraints
- Semiring programming: a semantic framework for generalized sum product problems
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
- 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
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
- Title not available (Why is that?)
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Title not available (Why is that?)
- 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
- Enumeration of set-theoretic solutions to the Yang–Baxter equation
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems
- MiningZinc: a declarative framework for constraint-based mining
- Expressive power and abstraction in Essence
- A Module-Based Framework for Multi-language Constraint Modeling
- Compiling CP subproblems to MDDs and d-DNNFs
This page was built for software: Essence
