ESRA
From MaRDI portal
Cited in
(19)- NP-SPEC
- Cadmium
- Zinc
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- G12
- Automated reformulation of specifications by safe delay of constraints
- XASP
- 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
- Integrating finite domain and set constraints into a set-based constraint language
- A Module-Based Framework for Multi-language Constraint Modeling
- Essence
- Krimp
- JSetL
- MiningZinc: a declarative framework for constraint-based mining
- The design of the zinc modelling language
- Essence: A constraint language for specifying combinatorial problems
- Expressive power and abstraction in Essence
This page was built for software: ESRA
