swMATH22238MaRDI QIDQ34033FDOQ34033
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-540-25938-1_18
Cited In (18)
- Automated reformulation of specifications by safe delay of constraints
- Integrating finite domain and set constraints into a set-based constraint language
- The design of the zinc modelling language
- A semantic account for modularity in multi-language modelling of search problems
- Cadmium
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Zinc
- G12
- XASP
- Title not available (Why is that?)
- MiningZinc
- Essence
- Krimp
- JSetL
- Essence: A constraint language for specifying combinatorial problems
- MiningZinc: a declarative framework for constraint-based mining
- Expressive power and abstraction in Essence
- A Module-Based Framework for Multi-language Constraint Modeling
This page was built for software: ESRA
