Modelling with Option Types in MiniZinc

DOI10.1007/978-3-319-07046-9_7zbMath1407.68458OpenAlexW8750543MaRDI QIDQ5418732

Guido Tack, Kim Marriott, Andreas Schutt, Christopher Mears, Peter J. Stuckey, Mark G. Wallace

Publication date: 27 May 2014

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07046-9_7

Mathematics Subject Classification ID

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

Related Items (2)

Enumerated types and type extensions for MiniZinc ⋮ MiniBrass: soft constraints for MiniZinc

Uses Software

• MiniZinc

This page was built for publication: Modelling with Option Types in MiniZinc