MiniZinc with functions

DOI10.1007/978-3-642-38171-3_18MaRDI QIDQ4922917zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 2032420
• MiniZinc with strings
• A constraint-based local search backend for MiniZinc
• Philosophy of the MiniZinc challenge
• Constraints in non-Boolean contexts

Cited in

(11)

• Automatically improving constraint models in Savile Row
• Optimal allocation of buffer times to increase train schedule robustness
• MiniBrass: soft constraints for MiniZinc
• MiniZinc with strings
• Set constraint model and automated encoding into SAT: application to the social golfer problem
• A stochastic continuous optimization backend for MiniZinc with applications to geometrical placement problems
• scientific article; zbMATH DE number 2032420 (Why is no real title available?)
• MiningZinc: a declarative framework for constraint-based mining
• Modelling with option types in MiniZinc
• Philosophy of the MiniZinc challenge
• A mixed‐integer linear programming model and a metaheuristic approach for the selection and allocation of land parcels problem

Describes a project that uses

Uses Software

• MiniZinc

This page was built for publication: MiniZinc with functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4922917)