메뉴 건너뛰기




Volumn , Issue , 2003, Pages 239-247

A combinatorial characterization of resolution width

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; GRAPH THEORY; POLYNOMIALS; PROBLEM SOLVING; SET THEORY; CHARACTERIZATION; DYNAMIC PROGRAMMING; HEURISTIC ALGORITHMS; MODELING LANGUAGES;

EID: 0042515153     PISSN: 10930159     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (20)

References (28)
  • 1
    • 0036520257 scopus 로고    scopus 로고
    • Space complexity in propositional calculus
    • A preliminary version appeared in STOC'00
    • M. Alekhnovich, E. Ben-Sasson, A. Razborov, and A. Wigderson. Space complexity in propositional calculus. SIAM Journal of Computing, 31(4):1184-1211, 2002. A preliminary version appeared in STOC'00.
    • (2002) SIAM Journal of Computing , vol.31 , Issue.4 , pp. 1184-1211
    • Alekhnovich, M.1    Ben-Sasson, E.2    Razborov, A.3    Wigderson, A.4
  • 6
    • 84941154026 scopus 로고    scopus 로고
    • On the automatizability of resolution and related prepositional proof systems
    • Computer Science Logic '2002, 16th Annual Conference of the EACSL. Springer
    • A. Atserias and M. L. Bonet. On the automatizability of resolution and related prepositional proof systems. In Computer Science Logic '2002, 16th Annual Conference of the EACSL, volume 2471 of Lecture Notes in Computer Science, pages 569-583. Springer, 2002.
    • (2002) Lecture Notes in Computer Science , vol.2471 , pp. 569-583
    • Atserias, A.1    Bonet, M.L.2
  • 9
    • 0000802475 scopus 로고    scopus 로고
    • Short proofs are narrow-resolution made simple
    • E. Ben-Sasson and A. Wigderson. Short proofs are narrow-resolution made simple. J. ACM, 48(2):149-169, 2001.
    • (2001) J. ACM , vol.48 , Issue.2 , pp. 149-169
    • Ben-Sasson, E.1    Wigderson, A.2
  • 10
    • 0038036843 scopus 로고    scopus 로고
    • Optimality of size-width trade-offs for resolution
    • To appear. A preliminary version appeared in FOCS'99
    • M. L. Bonet and N. Galesi. Optimality of size-width trade-offs for resolution. Journal of Computational Complexity, 2001. To appear. A preliminary version appeared in FOCS'99.
    • (2001) Journal of Computational Complexity
    • Bonet, M.L.1    Galesi, N.2
  • 11
    • 0024090265 scopus 로고
    • Many hard examples for resolution
    • V. Chvátal and E. Szemerédi. Many hard examples for resolution. J. ACM, 35(4):759-768, 1988.
    • (1988) J. ACM , vol.35 , Issue.4 , pp. 759-768
    • Chvátal, V.1    Szemerédi, E.2
  • 13
    • 84957041924 scopus 로고    scopus 로고
    • Constraint satisfaction, bounded treewidth, and finite variable logics
    • 8th International Conference on Principles and Practice of Constraint Programming (CP). Springer
    • V. Dalmau, P. G. Kolaitis, and M. Y. Vardi. Constraint satisfaction, bounded treewidth, and finite variable logics. In 8th International Conference on Principles and Practice of Constraint Programming (CP), volume 2470 of Lecture Notes in Computer Science, pages 310-326. Springer, 2002.
    • (2002) Lecture Notes in Computer Science , vol.2470 , pp. 310-326
    • Dalmau, V.1    Kolaitis, P.G.2    Vardi, M.Y.3
  • 16
    • 0032057865 scopus 로고    scopus 로고
    • The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory
    • T. Feder and M. Y. Vardi. The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory. SIAM Journal of Computing, 28(1):51-104, 1998.
    • (1998) SIAM Journal of Computing , vol.28 , Issue.1 , pp. 51-104
    • Feder, T.1    Vardi, M.Y.2
  • 17
    • 0040944353 scopus 로고    scopus 로고
    • Finite variable logics in descriptive complexity theory
    • M. Grohe. Finite variable logics in descriptive complexity theory. Bulletin of Symbolic Logic, 4:345-398, 1998.
    • (1998) Bulletin of Symbolic Logic , vol.4 , pp. 345-398
    • Grohe, M.1
  • 18
    • 0000076101 scopus 로고
    • The intractability of resolution
    • A. Haken. The intractability of resolution. Theoretical Computer Science, 39:297-308, 1985.
    • (1985) Theoretical Computer Science , vol.39 , pp. 297-308
    • Haken, A.1
  • 20
    • 0034295721 scopus 로고    scopus 로고
    • Conjunctive-query containment and constraint satisfaction
    • P. G. Kolaitis and M. Y. Vardi. Conjunctive-query containment and constraint satisfaction. Journal of Computer and System Sciences, 61(2):302-332, 2000.
    • (2000) Journal of Computer and System Sciences , vol.61 , Issue.2 , pp. 302-332
    • Kolaitis, P.G.1    Vardi, M.Y.2
  • 23
    • 84940371644 scopus 로고
    • How to lie without being (easily) convicted and the lengths of proofs in propositional calculus
    • Pacholski and Tiuryn, editors, Computer Science Logic '94. Springer-Verlag
    • P. Pudlák and S. R. Buss. How to lie without being (easily) convicted and the lengths of proofs in propositional calculus. In Pacholski and Tiuryn, editors, Computer Science Logic '94, volume 933 of Lecture Notes in Computer Science, pages 151-162. Springer-Verlag, 1995.
    • (1995) Lecture Notes in Computer Science , vol.933 , pp. 151-162
    • Pudlák, P.1    Buss, S.R.2
  • 26
    • 0035739454 scopus 로고    scopus 로고
    • A complexity gap for tree-resolution
    • S. Riis. A complexity gap for tree-resolution. Computational Complexity, 10:179-209, 2001.
    • (2001) Computational Complexity , vol.10 , pp. 179-209
    • Riis, S.1
  • 28
    • 0023250297 scopus 로고
    • Hard examples for resolution
    • A. Urquhart. Hard examples for resolution. J. ACM, 34(1):209-219, 1987.
    • (1987) J. ACM , vol.34 , Issue.1 , pp. 209-219
    • Urquhart, A.1


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