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
• 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
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Title not available (Why is that?)
• 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