메뉴 건너뛰기




Volumn 35, Issue 4, 1988, Pages 759-768

Many Hard Examples for Resolution

Author keywords

Resolution; satisfrability

Indexed keywords

MATHEMATICAL TECHNIQUES - GRAPH THEORY; PROBABILITY - RANDOM PROCESSES;

EID: 0024090265     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/48014.48016     Document Type: Article
Times cited : (333)

References (18)
  • 3
    • 19544385851 scopus 로고
    • Probabilistic methods in graph theory
    • Chvátal, V. Probabilistic methods in graph theory. Ann. Oper. Res. 1 (1984), 171-182.
    • (1984) Ann. Oper. Res. , vol.1 , pp. 171-182
    • Chvátal, V.1
  • 4
    • 85059770931 scopus 로고
    • The complexity of theorem-proving procedures
    • Shaker Heights, Ohio, May 3-7 ACM, New York
    • Cook, S. A. The complexity of theorem-proving procedures. In Proceedings of the 3rd Annual Symposium on the Theory of Computing (Shaker Heights, Ohio, May 3-7). ACM, New York, 1971, pp. 151-158.
    • (1971) Proceedings of the 3rd Annual Symposium on the Theory of Computing , pp. 151-158
    • Cook, S.A.1
  • 5
    • 84881072062 scopus 로고
    • A computing procedure for quantification theory
    • July
    • Davis, M., and Putnam, H. A computing procedure for quantification theory. J. ACM 7, 3 (July 1960), 201-215.
    • (1960) J. ACM , vol.7 , Issue.3 , pp. 201-215
    • Davis, M.1    Putnam, H.2
  • 6
    • 0040971912 scopus 로고
    • On the complexity of regular resolution and the Davis-Putnam procedure
    • Galil, Z. On the complexity of regular resolution and the Davis-Putnam procedure. Theoret. Compul. Sci. 4 (1977), 23-46.
    • (1977) Theoret. Compul. Sci. , vol.4 , pp. 23-46
    • Galil, Z.1
  • 7
    • 0000076101 scopus 로고
    • The intractability of resolution
    • Haken, A. The intractability of resolution. Theoret. Comput. Sci. 39 (1985), 297-308.
    • (1985) Theoret. Comput. Sci. , vol.39 , pp. 297-308
    • Haken, A.1
  • 8
    • 84963056434 scopus 로고
    • On representatives of subsets
    • Hall, P. On representatives of subsets. J. London Math. Soc. 10 (1935), 26-30.
    • (1935) J. London Math. Soc. , vol.10 , pp. 26-30
    • Hall, P.1
  • 11
    • 25744471187 scopus 로고
    • Über das Aufiösungsproblem im logischen Klassenkalkul
    • Löwenheim, L. Über das Aufiösungsproblem im logischen Klassenkalkul. Sitzungsber. Berlin Math.Ges. 7(1908), 89-94.
    • (1908) Sitzungsber. Berlin Math.Ges. , vol.7 , pp. 89-94
    • Löwenheim, L.1
  • 12
    • 30244482795 scopus 로고
    • Über die Auflösung von Gleichungen im logischen Gebietkalkul
    • Löwenheim, L. Über die Auflösung von Gleichungen im logischen Gebietkalkul. Math. Ann. 68 (1910), 169-207.
    • (1910) Math. Ann. , vol.68 , pp. 169-207
    • Löwenheim, L.1
  • 13
    • 34250940894 scopus 로고
    • Über Transformationen im Gebietkalkul
    • Lowenheim, L. Über Transformationen im Gebietkalkul. Math. Ann. 73 (1913), 245-272.
    • (1913) Math. Ann. , vol.73 , pp. 245-272
    • Lowenheim, L.1
  • 14
    • 0002997993 scopus 로고
    • A theorem on independence relations
    • Rado, R. A theorem on independence relations. Quart. J. Math. (Oxford) 13 (1942), 83-89.
    • (1942) Quart. J. Math. (Oxford) , vol.13 , pp. 83-89
    • Rado, R.1
  • 15
    • 84918983692 scopus 로고
    • A machine-oriented logic based on the resolution principle
    • Jan.
    • Robinson, J. A. A machine-oriented logic based on the resolution principle. J. ACM 12, 1 (Jan. 1965), 23-41.
    • (1965) J. ACM , vol.12 , Issue.1 , pp. 23-41
    • Robinson, J.A.1
  • 16
    • 0001340960 scopus 로고
    • On the complexity of derivations in the prepositional calculus
    • Consultants Bureau, New York-London
    • Tseitin, G. S. On the complexity of derivations in the prepositional calculus. In Studies in Constructive Mathematics and Mathematical Logic, Part 2. Consultants Bureau, New York-London, 1968, pp. 115-125.
    • (1968) Studies in Constructive Mathematics and Mathematical Logic, Part 2 , pp. 115-125
    • Tseitin, G.S.1
  • 17
    • 84911291704 scopus 로고
    • Hard examples for resolution
    • Jan.
    • Urquhart, A. Hard examples for resolution. J. ACM 34, 1 (Jan. 1987), 209-219.
    • (1987) J. ACM , vol.34 , Issue.1 , pp. 209-219
    • Urquhart, A.1
  • 18
    • 84974082060 scopus 로고
    • Some applications of a theorem of Rado
    • Welsh, D. J. A. Some applications of a theorem of Rado. Mathematika 15 (1968), 199-203.
    • (1968) Mathematika , vol.15 , pp. 199-203
    • Welsh, D.J.A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.