Hirsch, Edward A. New worst-case upper bounds for SAT. (English) Zbl 0960.03009 J. Autom. Reasoning 24, No. 4, 397-420 (2000). MSC: 03B35 03D15 68Q25 PDF BibTeX XML Cite \textit{E. A. Hirsch}, J. Autom. Reasoning 24, No. 4, 397--420 (2000; Zbl 0960.03009) Full Text: DOI
Hirsch, E. Separating signs in the propositional satisfiability problem. (English. Russian original) Zbl 0961.68049 J. Math. Sci., New York 98, No. 4, 442-463 (2000); translation from Zap. Nauchn. Semin. POMI 241, 30-71 (1997). MSC: 68Q05 PDF BibTeX XML Full Text: DOI
Lozinskii, Eliezer L. Counting propositional models. (English) Zbl 0780.68065 Inf. Process. Lett. 41, No. 6, 327-332 (1992). MSC: 68Q25 03B05 03D15 03B10 PDF BibTeX XML Cite \textit{E. L. Lozinskii}, Inf. Process. Lett. 41, No. 6, 327--332 (1992; Zbl 0780.68065) Full Text: DOI