A constraint-based local search backend for MiniZinc

DOI10.1007/S10601-015-9184-ZMaRDI QIDQ890003zbMATH OpenOpenAlexWikidataFDO

Authors Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson

Publication date 9 November 2015

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-015-9184-z

zbMATH Keywords

constraint-based local searchMiniZinc

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Recommendations

• A constraint programming framework for local search methods
• Principles and Practice of Constraint Programming – CP 2004
• MiniBrass: soft constraints for MiniZinc
• MiniCP: a lightweight solver for constraint programming
• Contraint-based combinators for local search
• Local Search and Constraint Programming
• Constraint Programming and Local Search Hybrids
• A general approach for constraint solving by local search
• Combining local and global search in a constraint programming environment

Cites work

• scientific article; zbMATH DE number 2083802 (Why is no real title available?)
• A Fast Taboo Search Algorithm for the Job Shop Problem
• An integrated solver for optimization problems
• Automatically improving constraint models in Savile Row
• Combining the scalability of local search with the pruning techniques of systematic search
• Global constraint catalogue: past, present and future
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• LocalSolver 1.x: A black-box local-search solver for 0-1 programming
• Model-driven visualizations of constraint-based local search
• Philosophy of the MiniZinc challenge
• Principles and Practice of Constraint Programming – CP 2004
• Reducibility among combinatorial problems
• SCIP: solving constraint integer programs
• SUNNY: a lazy portfolio approach for constraint solving
• Scheduling Social Golfers Locally
• Stochastic local search. Foundations and applications.
• Tabu Search—Part I

Cited in

(11)

• MiniZinc with strings
• Progress towards the Holy Grail
• A stochastic continuous optimization backend for MiniZinc with applications to geometrical placement problems
• MiniZinc with functions
• Meta-heuristics and artificial intelligence
• Model-driven visualizations of constraint-based local search
• scientific article; zbMATH DE number 7453149 (Why is no real title available?)
• Modelling with option types in MiniZinc
• Philosophy of the MiniZinc challenge
• scientific article; zbMATH DE number 7453113 (Why is no real title available?)
• Auto-tabling for subproblem presolving in MiniZinc

Describes a project that uses

Uses Software

• SUNNY
• OR-tools
• Kangaroo
• Oscar.cbls
• fzn2smt
• OscaR
• Gecode
• FlatZinc
• MiniZinc
• LocalSolver
• ANTLR
• COMET
• SCIP

This page was built for publication: A constraint-based local search backend for MiniZinc

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