A Study of Local Minimum Avoidance Heuristics for SAT
暂无分享,去创建一个
[1] Steven David Prestwich,et al. Random Walk with Continuously Smoothed Variable Weights , 2005, SAT.
[2] Bart Selman,et al. Accelerating Random Walks , 2002, CP.
[3] F. Hutter,et al. ParamILS: an automatic algorithm configuration framework , 2009 .
[4] Harry Zhang,et al. Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT , 2008, CP.
[5] Bart Selman,et al. Evidence for Invariants in Local Search , 1997, AAAI/IAAI.
[6] Adrian Balint,et al. Improving Stochastic Local Search for SAT with a New Probability Distribution , 2010, SAT.
[7] Harry Zhang,et al. Combining Adaptive Noise and Look-Ahead in Local Search for SAT , 2007, SAT.
[8] Abdul Sattar,et al. Combining Adaptive and Dynamic Local Search for Satisfiability , 2008, J. Satisf. Boolean Model. Comput..
[9] Steven David Prestwich,et al. SAT problems with chains of dependent variables , 2003, Discret. Appl. Math..
[10] Chu Min Li,et al. Diversification and Determinism in Local Search for Satisfiability , 2005, SAT.
[11] Éric D. Taillard,et al. Robust taboo search for the quadratic assignment problem , 1991, Parallel Comput..
[12] John Thornton,et al. Additive versus Multiplicative Clause Weighting for SAT , 2004, AAAI.
[13] Holger H. Hoos,et al. Captain Jack: New Variable Selection Heuristics in Local Search for SAT , 2011, SAT.
[14] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.