Implementing the Davis–Putnam Method
暂无分享,去创建一个
[1] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.
[2] Johan de Kleer. An Improved Incremental Algorithm for Generating Prime Implicates , 1992, AAAI.
[3] James M. Crawford,et al. Experimental Results on the Crossover Point inSatis ability , 1993 .
[4] M. Stickel,et al. Automated reasoning and exhaustive search: Quasigroup existence problems☆ , 1995 .
[5] Jun Gu,et al. Local Search for Satissability (sat) Problem , 1993 .
[6] A. Rosenfeld,et al. IEEE TRANSACTIONS ON SYSTEMS , MAN , AND CYBERNETICS , 2022 .
[7] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[8] Hantao Zhang,et al. SATO: An Efficient Propositional Prover , 1997, CADE.
[9] Chu Min Li,et al. Look-Ahead Versus Look-Back for Satisfiability Problems , 1997, CP.
[10] Journal of the Association for Computing Machinery , 1961, Nature.
[11] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[12] J. Freeman. Improvements to propositional satisfiability search algorithms , 1995 .
[13] W. McCune. A Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems , 1994 .
[14] Jun Gu,et al. Local search for satisfiability (SAT) problem , 1993, IEEE Trans. Syst. Man Cybern..
[15] Bart Selman,et al. Heavy-Tailed Distributions in Combinatorial Search , 1997, CP.
[16] Douglas R Stinson,et al. Contemporary design theory : a collection of surveys , 1992 .
[17] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[18] Masayuki Fujita,et al. Automatic Generation of Some Results in Finite Algebra , 1993, IJCAI.