Enumerated types and type extensions for MiniZinc

DOI10.1007/978-3-031-08011-1_25MaRDI QIDQ2170216zbMATH OpenOpenAlexFDO

Authors Peter J. Stuckey, Guido Tack

Publication date 30 August 2022

Full work available at URL https://doi.org/10.1007/978-3-031-08011-1_25

Mathematics Subject Classification ID

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

Recommendations

• Modelling with option types in MiniZinc
• Extensible encoding of type hierarchies
• Type extensions
• scientific article; zbMATH DE number 2185650
• scientific article; zbMATH DE number 3926901
• Typed interpretations of extensible objects
• Type inference for ZFH
• scientific article; zbMATH DE number 1104376
• On strict and simple type extensions
• scientific article; zbMATH DE number 445158

Cites work

• scientific article; zbMATH DE number 3458691 (Why is no real title available?)
• Essence: A constraint language for specifying combinatorial problems
• Modelling with option types in MiniZinc
• The design of the zinc modelling language

Cited in

(1)

• Modelling with option types in MiniZinc

Describes a project that uses

Uses Software

• Essence
• Zinc
• MiniZinc
• AMPL

This page was built for publication: Enumerated types and type extensions for MiniZinc

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