Essence: A constraint language for specifying combinatorial problems

DOI10.1007/S10601-008-9047-YMaRDI QIDQ941817zbMATH OpenOpenAlexFDO

Authors Alan M. Frisch, Warwick Harvey, Chris Jefferson, Bernadette Martínez-Hernández, Ian Miguel

Publication date 2 September 2008

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-008-9047-y

zbMATH Keywords

Combinatorial problemsSpecification languagesConstraint programmingConstraint languagesConstraint modelling

Mathematics Subject Classification ID

Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Expressive power and abstraction in Essence
• Introduction to the constraint language NCL
• Logic Based Program Synthesis and Transformation
• NP-SPEC: An executable specification language for solving all problems in NP
• The NCL natural constraint language.

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 2032420 (Why is no real title available?)
• A language and a program for stating and solving combinatorial problems
• Expressive power and abstraction in Essence
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Localizer
• Logic Based Program Synthesis and Transformation
• NP-SPEC: An executable specification language for solving all problems in NP
• The design of the zinc modelling language

Cited in

(29)

• MiniBrass: soft constraints for MiniZinc
• Enumeration of set-theoretic solutions to the Yang-Baxter equation
• Progress towards the Holy Grail
• Finding subgraphs with side constraints
• Semiring programming: a semantic framework for generalized sum product problems
• GBOML: a structure-exploiting optimization modelling language in Python
• Logic Based Program Synthesis and Transformation
• Lifted Reasoning for Combinatorial Counting
• Scenario-based learning for stochastic combinatorial optimisation
• Towards Copeland optimization in combinatorial problems
• A review of literature on parallel constraint solving
• The design of the zinc modelling language
• Essence
• Why CP portfolio solvers are (under)utilized? Issues and challenges
• scientific article; zbMATH DE number 7453149 (Why is no real title available?)
• A semantic account for modularity in multi-language modelling of search problems
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Automated streamliner portfolios for constraint satisfaction problems
• Enumerated types and type extensions for MiniZinc
• Solving constraint satisfaction problems with SAT modulo theories
• Efficiently explaining CSPs with unsatisfiable subset optimization
• Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
• Using dual presolving reductions to reformulate cumulative constraints
• Exploiting functional constraints in automatic dominance breaking for constraint optimization
• MiningZinc: a declarative framework for constraint-based mining
• Expressive power and abstraction in Essence
• Compiling CP subproblems to MDDs and d-DNNFs
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3

Describes a project that uses

Uses Software

• ESRA
• Localizer
• Zinc
• MiniZinc
• GAMS
• AMPL
• NP-SPEC

This page was built for publication: Essence: A constraint language for specifying combinatorial problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q941817)