Pages that link to "Item:Q941817"
From MaRDI portal
The following pages link to Essence: A constraint language for specifying combinatorial problems (Q941817):
Displaying 26 items.
- Essence (Q39207) (← links)
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Using dual presolving reductions to reformulate cumulative constraints (Q487651) (← links)
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655) (← links)
- MiningZinc: a declarative framework for constraint-based mining (Q511753) (← links)
- The design of the zinc modelling language (Q941812) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Progress towards the Holy Grail (Q1616388) (← links)
- Scenario-based learning for stochastic combinatorial optimisation (Q2011603) (← links)
- Finding subgraphs with side constraints (Q2117235) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Towards Copeland optimization in combinatorial problems (Q2170176) (← links)
- Enumerated types and type extensions for MiniZinc (Q2170216) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- Compiling CP subproblems to MDDs and d-DNNFs (Q2331104) (← links)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- (Q5020594) (← links)
- Enumeration of set-theoretic solutions to the Yang–Baxter equation (Q5070549) (← links)
- From Rules to Constraint Programs with the Rules2CP Modelling Language (Q5191407) (← links)
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)
- Lifted Reasoning for Combinatorial Counting (Q5870533) (← links)
- Automated streamliner portfolios for constraint satisfaction problems (Q6161503) (← links)
- Exploiting functional constraints in automatic dominance breaking for constraint optimization (Q6488814) (← links)
