The island confinement method for reducing search space in local search methods

DOI10.1007/S10732-007-9020-8MaRDI QIDQ930151zbMATH OpenOpenAlexFDO

Authors Elsie Sterbin Gottlieb

Publication date 23 June 2008

Published in Journal of Heuristics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10732-007-9020-8

zbMATH Keywords

Constraint satisfactionLocal searchSAT

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2083802
• Theory and Applications of Satisfiability Testing
• A general approach for constraint solving by local search
• Local search algorithms for SAT: an empirical evaluation
• Local search characteristics of incomplete SAT procedures

Cites work

• A Lagrangian reconstruction of GENET
• Consistency in networks of relations
• Local search characteristics of incomplete SAT procedures
• Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems

Cited in

(3)

• Revisiting constraint-directed search
• Methods and Applications of Artificial Intelligence
• Theory and Applications of Satisfiability Testing

Describes a project that uses

Uses Software

• Walksat

This page was built for publication: The island confinement method for reducing search space in local search methods

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