Improving Stochastic Local Search for SAT with a New Probability Distribution
暂无分享,去创建一个
[1] Bart Selman,et al. Evidence for Invariants in Local Search , 1997, AAAI/IAAI.
[2] Holger H. Hoos,et al. An adaptive noise mechanism for walkSAT , 2002, AAAI/IAAI.
[3] John Thornton,et al. Additive versus Multiplicative Clause Weighting for SAT , 2004, AAAI.
[4] Chu Min Li,et al. Diversification and Determinism in Local Search for Satisfiability , 2005, SAT.
[5] Abdul Sattar,et al. Advances in Local Search for Satisfiability , 2007, Australian Conference on Artificial Intelligence.
[6] Oliver Kullmann,et al. Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings , 2009, SAT.
[7] Adrian Balint,et al. A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem , 2009, SAT.