Generic incremental algorithms for local search

DOI10.1007/S10601-007-9021-0MaRDI QIDQ2385177zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Magnus Ågren, Pierre Flener, Justin Pearson

Publication date 11 October 2007

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-007-9021-0

zbMATH Keywords

local searchglobal constraintmonadic existential second-order logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in computer science (03B70)

Recommendations

• Inferring Variable Conflicts for Local Search
• Incremental Algorithms for Local Search from Existential Second-Order Logic
• Set Variables and Local Search
• A general approach for constraint solving by local search
• Revisiting constraint-directed search

Cites work

• scientific article; zbMATH DE number 1696811 (Why is no real title available?)
• scientific article; zbMATH DE number 1302020 (Why is no real title available?)
• scientific article; zbMATH DE number 1016966 (Why is no real title available?)
• A general approach for constraint solving by local search
• Bandwidth Packing: A Tabu Search Approach
• Differentiable Invariants
• Generating Propagators for Finite Set Constraints
• Incremental Algorithms for Local Search from Existential Second-Order Logic
• Inferring Variable Conflicts for Local Search
• Integer optimization by local search. A domain-independent approach
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Localizer: A Modeling Language for Local Search
• Parallel Local Search in Comet
• Principles and Practice of Constraint Programming – CP 2004
• Set Variables and Local Search
• Using global constraints for local search

Cited in

(4)

• Inferring Variable Conflicts for Local Search
• scientific article; zbMATH DE number 1961998 (Why is no real title available?)
• Revisiting constraint-directed search
• General local search methods

Describes a project that uses

Uses Software

• Localizer
• Tabu search
• WSAT(OIP)
• COMET

This page was built for publication: Generic incremental algorithms for local search

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