swMATH27491MaRDI QIDQ39207FDOQ39207
Author name not available (Why is that?)
Official website: https://link.springer.com/article/10.1007%2Fs10601-008-9047-y
Cited In (63)
- 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
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- Title not available (Why is that?)
- A semantic account for modularity in multi-language modelling of search problems
- Mozart
- FlatZinc
- Gecode
- MiniZinc
- JaCoP
- Rules2CP
- SAMPLE
- Cadmium
- NumberJack
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Zinc
- G12
- MINION
- Sugar
- AMUSE
- SIMPLY
- MUP
- NSPLib
- fzn2smt
- Kangaroo
- XASP
- CLPGUI
- PermLab
- SPLINTER
- Title not available (Why is that?)
- MiningZinc
- OPL
- ESRA
- IDP
- MiniSearch
- CHUFFED
- DOC-BRelax
- Krimp
- meSAT
- MiniBrass
- sunny-cp
- RackEnumeration
- Calliope
- 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
- A Module-Based Framework for Multi-language Constraint Modeling
- Compiling CP subproblems to MDDs and d-DNNFs
- 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
