Depth-Driven Circuit-Level Stochastic Local Search for SAT
暂无分享,去创建一个
[1] Holger H. Hoos,et al. On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT , 1999, AAAI/IAAI.
[2] Zbigniew Stachniak,et al. Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability , 2009, SAT.
[3] Roberto Sebastiani,et al. Applying GSAT to Non-Clausal Formulas , 1993, J. Artif. Intell. Res..
[4] Ilkka Niemelä,et al. Justification-Based Non-Clausal Local Search for SAT , 2008, ECAI.
[5] Zbigniew Stachniak,et al. Improved Local Search for Circuit Satisfiability , 2010, SAT.
[6] Peter J. Stuckey,et al. A Stochastic Non-CNF SAT Solver , 2006, PRICAI.
[7] Zbigniew Stachniak,et al. Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning , 2008, SAT.
[8] Toby Walsh,et al. Solving Non-clausal Formulas with DPLL search , 2004, SAT.
[9] Abdul Sattar,et al. Building Structure into Local Search for SAT , 2007, IJCAI.
[10] Anton Belov. Stochastic local search for non-clausal and circuit satisfiability , 2010 .
[11] Bart Selman,et al. The state of SAT , 2007, Discret. Appl. Math..
[12] Ilkka Niemelä,et al. Justification-Based Local Search with Adaptive Noise Strategies , 2008, LPAR.
[13] Henry Kautz,et al. Exploiting Variable Dependency in Local Search , 1997, IJCAI 1997.