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
Chu-Min Li, Harry Zhang, Wanxia Wei
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, SATenstein: automatically building local search SAT solvers from components, Improvements to Hybrid Incremental SAT Algorithms, Efficiently Calculating Evolutionary Tree Measures Using SAT
Uses Software