ESRA

swMATH22238MaRDI QIDQ34033FDOQ34033

Author name not available (Why is that?)

Described by source

• Logic Based Program Synthesis and Transformation

Cited In (10)

• Automated reformulation of specifications by safe delay of constraints
• The design of the zinc modelling language
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Title not available (Why is that?)
• Essence: A constraint language for specifying combinatorial problems
• Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
• A Semantic Account for Modularity in Multi-language Modelling of Search 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