Revisiting constraint-directed search

DOI10.1016/J.IC.2008.12.001MaRDI QIDQ1013089zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Magnus Ågren, Pierre Flener, Justin Pearson

Publication date 16 April 2009

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2008.12.001

zbMATH Keywords

constraint-based local searchconstraint-directed searchmonadic existential second-order logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70)

Recommendations

• A general approach for constraint solving by local search
• Local Search and Constraint Programming
• Local search with constraint propagation and conflict-based heuristics
• Generic incremental algorithms for local search
• Set Variables and Local Search

Cites work

• scientific article; zbMATH DE number 1016966 (Why is no real title available?)
• scientific article; zbMATH DE number 1488569 (Why is no real title available?)
• scientific article; zbMATH DE number 194622 (Why is no real title available?)
• Differentiable Invariants
• Generating Propagators for Finite Set Constraints
• Generic incremental algorithms for local search
• 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
• Optimization by simulated annealing
• Scheduling Social Golfers Locally
• Set Variables and Local Search
• The island confinement method for reducing search space in local search methods
• Using global constraints for local search

Cited in

(5)

• Inferring Variable Conflicts for Local Search
• Limited discrepancy search revisited
• A Flexible Search Framework for CHR
• Generic incremental algorithms for local search
• Evaluation of Rules for Coping with Insufficient Data in Constraint-Based Search Algorithms

Describes a project that uses

Uses Software

• Tabu search
• WSAT(OIP)
• COMET

This page was built for publication: Revisiting constraint-directed search

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