Enumerated types and type extensions for MiniZinc

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

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

90C27: Combinatorial optimization

68N15: Theory of programming languages

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• AMPL
• MiniZinc
• Zinc
• Essence