Localizer

DOI10.1023/A:1009818401322zbMath0988.90015OpenAlexW4230003265MaRDI QIDQ1975204

Pascal Van Hentenryck, Laurent Michel

Publication date: 22 July 2002

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009818401322

zbMATH Keywords

local searchmodeling languageincremental algorithms

Mathematics Subject Classification ID

Search theory (90B40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Contraint-based combinators for local search ⋮ Exploiting variable associations to configure efficient local search algorithms in large-scale binary integer programs ⋮ LocalSolver 1.x: A black-box local-search solver for 0-1 programming ⋮ Essence: A constraint language for specifying combinatorial problems ⋮ Integrating operations research in constraint programming ⋮ Integrating operations research in constraint programming ⋮ A unified framework for partial and hybrid search methods in constraint programming ⋮ Localizer ⋮ Control abstractions for local search ⋮ Maintaining longest paths incrementally

Uses Software

• CLAIRE
• CHIP
• AMPL
• LINDO
• Oz
• Numerica
• OPL