A constraint-based local search backend for MiniZinc
From MaRDI portal
Publication:890003
DOI10.1007/S10601-015-9184-ZzbMATH Open1325.90076OpenAlexW2066265366WikidataQ57574228 ScholiaQ57574228MaRDI QIDQ890003FDOQ890003
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
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
- Philosophy of the MiniZinc challenge
- LocalSolver 1.x: A black-box local-search solver for 0-1 programming
- SCIP: solving constraint integer programs
- SUNNY: a lazy portfolio approach for constraint solving
- Reducibility among combinatorial problems
- Tabu Search—Part I
- Model-driven visualizations of constraint-based local search
- Global constraint catalogue: past, present and future
- A Fast Taboo Search Algorithm for the Job Shop Problem
- Stochastic local search. Foundations and applications.
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- An integrated solver for optimization problems
- Scheduling Social Golfers Locally
- Title not available (Why is that?)
- Principles and Practice of Constraint Programming – CP 2004
- Combining the scalability of local search with the pruning techniques of systematic search
- Automatically improving constraint models in Savile Row
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
- Title not available (Why is that?)
- Modelling with option types in MiniZinc
- Philosophy of the MiniZinc challenge
- Title not available (Why is that?)
- Auto-tabling for subproblem presolving in MiniZinc
Uses Software
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)
