A constraint-based local search backend for MiniZinc
type: Item
instance of: scholarly article
title: A constraint-based local search backend for MiniZinc
zbMATH Open document ID: 1325.90076
author: Gustav Björdal
author: Jean-Noël Monette
author: Pierre Flener
author: Justin Pearson
published in: Constraints
publication date: 2015-11-09T00:00:00Z
Mathematics Subject Classification ID: 90C27
zbMATH DE Number: 6506227
zbMATH Keywords: constraint-based local search
zbMATH Keywords: MiniZinc
Wikidata QID: Q57574228
describes a project that uses: Gecode
describes a project that uses: COMET
describes a project that uses: MiniZinc
describes a project that uses: OscaR
describes a project that uses: ANTLR
describes a project that uses: fzn2smt
describes a project that uses: Oscar.cbls
describes a project that uses: Kangaroo
describes a project that uses: SUNNY
describes a project that uses: LocalSolver
describes a project that uses: SCIP
describes a project that uses: FlatZinc
describes a project that uses: OR-tools
MaRDI profile type: Publication
full work available at URL: s10601-015-9184-z
OpenAlex ID: W2066265366
cites work: SCIP: solving constraint integer programs
cites work: LocalSolver 1.x: A black-box local-search solver for 0-1 programming
cites work: SUNNY: a Lazy Portfolio Approach for Constraint Solving
cites work: Global constraint catalogue: past, present and future
cites work: Q4739600
cites work: Scheduling Social Golfers Locally
cites work: An Integrated Solver for Optimization Problems
cites work: Tabu Search—Part I
cites work: Q5472387
cites work: Reducibility among Combinatorial Problems
cites work: Automatically improving constraint models in Savile Row
cites work: A Fast Taboo Search Algorithm for the Job Shop Problem
cites work: Combining the scalability of local search with the pruning techniques of systematic search
cites work: Philosophy of the MiniZinc challenge
cites work: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
cites work: Model-driven visualizations of constraint-based local search
cites work: Principles and Practice of Constraint Programming – CP 2004
DOI: 10.1007/S10601-015-9184-Z
Recommended article: A constraint programming framework for local search methods
Recommended article: Principles and Practice of Constraint Programming – CP 2004
Recommended article: MiniBrass: soft constraints for MiniZinc
Recommended article: MiniCP: a lightweight solver for constraint programming
Recommended article: Contraint-based combinators for local search
Recommended article: Local Search and Constraint Programming
Recommended article: Constraint Programming and Local Search Hybrids
Recommended article: A general approach for constraint solving by local search
Recommended article: Combining local and global search in a constraint programming environment
description: scientific article; zbMATH DE number 6506227