Length of Prime Implicants and Number of Solutions of Random CNF Formulae
暂无分享,去创建一个
[1] Jacques Carlier,et al. SAT versus UNSAT , 1993, Cliques, Coloring, and Satisfiability.
[2] Robert Schrag,et al. Compilation for Critically Constrained Knowledge Bases , 1996, AAAI/IAAI, Vol. 1.
[3] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .
[4] Norman L. Johnson,et al. Urn models and their application , 1977 .
[5] W. Quine. On Cores and Prime Implicants of Truth Functions , 1959 .
[6] Rajeev Motwani,et al. Randomized Algorithms , 1995, SIGA.
[7] Yacine Boufkhad,et al. A General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae , 1997, J. Algorithms.
[8] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[9] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[10] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[11] Willard Van Orman Quine,et al. A Way to Simplify Truth Functions , 1955 .
[12] Nico M. Temme,et al. Asymptotic estimates of Stirling numbers , 1993 .
[13] Bruce A. Reed,et al. Mick gets some (the odds are on his side) (satisfiability) , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[14] J. Dekleer. An assumption-based TMS , 1986 .
[15] Raymond Reiter,et al. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.
[16] Yumi K. Tsuji,et al. EVIDENCE FOR A SATISFIABILITY THRESHOLD FOR RANDOM 3CNF FORMULAS , 1992 .
[17] Andreas Goerdt,et al. A Threshold for Unsatisfiability , 1992, MFCS.
[18] James M. Crawford,et al. Experimental Results on the Crossover Point inSatis ability , 1993 .
[19] E. McCluskey. Minimization of Boolean functions , 1956 .
[20] Russ Bubley,et al. Randomized algorithms , 1995, CSUR.
[21] Hector J. Levesque,et al. Hard and Easy Distributions of SAT Problems , 1992, AAAI.