Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability
暂无分享,去创建一个
[1] Bart Selman,et al. Evidence for Invariants in Local Search , 1997, AAAI/IAAI.
[2] John Thornton,et al. Additive versus Multiplicative Clause Weighting for SAT , 2004, AAAI.
[3] Holger H. Hoos,et al. Captain Jack: New Variable Selection Heuristics in Local Search for SAT , 2011, SAT.
[4] Kaile Su,et al. Configuration Checking with Aspiration in Local Search for SAT , 2012, AAAI.
[5] Yu Li,et al. Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation) , 2012, SAT.
[6] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.
[7] Abdul Sattar,et al. Trap Avoidance in Local Search Using Pseudo-Conflict Learning , 2012, AAAI.
[8] Holger H. Hoos,et al. Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT , 2010, SAT.
[9] Bart Selman,et al. Accelerating Random Walks , 2002, CP.
[10] Abdul Sattar,et al. A Study of Local Minimum Avoidance Heuristics for SAT , 2012, ECAI.
[11] Chu Min Li,et al. Diversification and Determinism in Local Search for Satisfiability , 2005, SAT.
[12] Peter L. Hammer,et al. Discrete Applied Mathematics , 1993 .
[13] Abdul Sattar,et al. Combining Adaptive and Dynamic Local Search for Satisfiability , 2008, J. Satisf. Boolean Model. Comput..
[14] Abdul Sattar,et al. A Method to Avoid Duplicative Flipping in Local Search for SAT , 2012, Australasian Conference on Artificial Intelligence.
[15] Steven David Prestwich,et al. Random Walk with Continuously Smoothed Variable Weights , 2005, SAT.
[16] Harry Zhang,et al. A Switching Criterion for Intensification and Diversification in Local Search for SAT , 2008, J. Satisf. Boolean Model. Comput..
[17] Steven David Prestwich,et al. SAT problems with chains of dependent variables , 2003, Discret. Appl. Math..
[18] Adrian Balint,et al. Improving Stochastic Local Search for SAT with a New Probability Distribution , 2010, SAT.
[19] Marijn Heule,et al. EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation , 2011, SAT.