ESRA

MaRDI QIDQ34033swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-540-25938-1_18

Described by source

• Logic Based Program Synthesis and Transformation

Cited in

(19)

• Automated reformulation of specifications by safe delay of constraints
• The design of the zinc modelling language
• Integrating finite domain and set constraints into a set-based constraint language
• NP-SPEC
• Cadmium
• Zinc
• G12
• XASP
• MiningZinc
• Essence
• Krimp
• JSetL
• A semantic account for modularity in multi-language modelling of search problems
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• scientific article; zbMATH DE number 5942124 (Why is no real title available?)
• 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