Combining Adaptive Noise and Look-Ahead in Local Search for SAT
From MaRDI portal
Publication:3612461
DOI10.1007/978-3-540-72788-0_15zbMath1214.68362MaRDI QIDQ3612461
Wanxia Wei, Harry Zhang, Chu-Min Li
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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Simulating circuit-level simplifications on CNF, 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, Efficiently Calculating Evolutionary Tree Measures Using SAT
Uses Software