MiniZinc with Functions

DOI10.1007/978-3-642-38171-3_18zbMath1382.68234OpenAlexW114188158MaRDI QIDQ4922917

Peter J. Stuckey, Guido Tack

Publication date: 4 June 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-38171-3_18

Mathematics Subject Classification ID

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

Related Items (6)

Automatically improving constraint models in Savile Row ⋮ A mixed‐integer linear programming model and a metaheuristic approach for the selection and allocation of land parcels problem ⋮ MiningZinc: a declarative framework for constraint-based mining ⋮ Optimal allocation of buffer times to increase train schedule robustness ⋮ MiniBrass: soft constraints for MiniZinc ⋮ Set constraint model and automated encoding into SAT: application to the social golfer problem

Uses Software

• MiniZinc

This page was built for publication: MiniZinc with Functions