Enumerated types and type extensions for MiniZinc

DOI10.1007/978-3-031-08011-1_25zbMATH Open1502.68280OpenAlexW4285229450MaRDI QIDQ2170216FDOQ2170216

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

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

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)

Cites Work

• Essence: A constraint language for specifying combinatorial problems
• The design of the zinc modelling language
• Title not available (Why is that?)
• Modelling with option types in MiniZinc

Cited In (1)

• Modelling with option types in MiniZinc

Uses Software

• AMPL
• MiniZinc
• Zinc
• Essence

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)