Another Complete Local Search Method for SAT
暂无分享,去创建一个
[1] Gert Smolka. Principles and Practice of Constraint Programming-CP97 , 1997, Lecture Notes in Computer Science.
[2] Makoto Yokoo,et al. Why Adding More Constraints Makes a Problem Easier for Hill-climbing Algorithms: Analyzing Landscapes of CSPs , 1997, CP.
[3] Thomas Stützle,et al. Stochastic Local Search: Foundations & Applications , 2004 .
[4] Joao Marques-Silva,et al. GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.
[5] Benjamin W. Wah,et al. A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems , 1996, J. Glob. Optim..
[6] Byungki Cha,et al. Adding New Clauses for Faster Local Search , 1996, AAAI/IAAI, Vol. 1.
[7] Alexander Nadel. Backtrack Search Algorithms for Propositional Logic Satisfiability: Review and Innovations , 2002 .
[8] Hantao Zhang,et al. System Description: Generating Models by SEM , 1996, CADE.
[9] Marco Muselli,et al. A Theoretical Approach to Restart in Global Optimization , 1997, J. Glob. Optim..
[10] M. A. McRobbie,et al. Automated Deduction — Cade-13 , 1996, Lecture Notes in Computer Science.
[11] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002 .
[12] Henry A. Kautz,et al. Understanding the power of clause learning , 2003, IJCAI 2003.
[13] Bart Selman,et al. Ten Challenges in Propositional Reasoning and Search , 1997, IJCAI.
[14] Thomas Stützle,et al. SATLIB: An Online Resource for Research on SAT , 2000 .
[15] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[16] Hantao Zhang,et al. SATO: An Efficient Propositional Prover , 1997, CADE.
[17] Zhe Wu,et al. An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems , 2000, AAAI/IAAI.
[18] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[19] Paul Morris,et al. The Breakout Method for Escaping from Local Minima , 1993, AAAI.
[20] Francesca Rossi,et al. Principles and Practice of Constraint Programming – CP 2003 , 2003, Lecture Notes in Computer Science.
[21] Bart Selman,et al. Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search , 2003, CP.
[22] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[23] Wheeler Ruml,et al. Complete Local Search for Propositional Satisfiability , 2004, AAAI.
[24] Harald Ganzinger,et al. Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.