Enumerated types and type extensions for MiniZinc

DOI10.1007/978-3-031-08011-1_25zbMath1502.68280OpenAlexW4285229450MaRDI QIDQ2170216

Guido Tack, Peter J. Stuckey

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

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

Uses Software

• AMPL
• MiniZinc
• Zinc
• Essence

Cites Work

• Unnamed Item
• The design of the zinc modelling language
• Essence: A constraint language for specifying combinatorial problems
• Modelling with Option Types in MiniZinc

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