Combining Adaptive Noise and Look-Ahead in Local Search for SAT

DOI10.1007/978-3-540-72788-0_15MaRDI QIDQ3612461zbMATH OpenOpenAlexFDO

Authors Chu-Min Li, Wanxia Wei, Harry Zhang

Publication date 10 March 2009

Published in Theory and Applications of Satisfiability Testing – SAT 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72788-0_15

Mathematics Subject Classification ID

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

Recommendations

• Justification-Based Local Search with Adaptive Noise Strategies
• scientific article; zbMATH DE number 5510694
• Effective Incorporation of Double Look-Ahead Procedures
• A switching criterion for intensification and diversification in local search for SAT
• Theory and Applications of Satisfiability Testing

Cited in

(10)

• Cooperative parallel SAT local search with path relinking
• SATenstein: automatically building local search SAT solvers from components
• Decomposing SAT Instances with Pseudo Backbones
• Improvements to Hybrid Incremental SAT Algorithms
• Simulating circuit-level simplifications on CNF
• scientific article; zbMATH DE number 5510694 (Why is no real title available?)
• Efficiently Calculating Evolutionary Tree Measures Using SAT
• Justification-Based Local Search with Adaptive Noise Strategies
• Theory and Applications of Satisfiability Testing
• Reduction-based MAX-3SAT with low nonlinearity and lattices under recombination

Describes a project that uses

Uses Software

• UBCSAT

This page was built for publication: Combining Adaptive Noise and Look-Ahead in Local Search for SAT

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