메뉴 건너뛰기




Volumn 1671, Issue , 1999, Pages 245-256

Fast approximate PCPs for multidimensional bin-packing problems

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; BINS; COMBINATORIAL MATHEMATICS; COMBINATORIAL OPTIMIZATION; RANDOM PROCESSES;

EID: 84892471183     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48413-4_25     Document Type: Conference Paper
Times cited : (16)

References (9)
  • 1
    • 0032058198 scopus 로고    scopus 로고
    • Proof verification and hard­ness of approximation problems
    • S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof verification and hard­ness of approximation problems, J. of the ACM, 45(3):501-555, 1998.
    • (1998) J. Of the ACM , vol.45 , Issue.3 , pp. 501-555
    • Arora, S.1    Lund, C.2    Motwani, R.3    Sudan, M.4    Szegedy, M.5
  • 3
    • 0002771903 scopus 로고
    • Non-deterministic exponential time has two-prover interactive protocols
    • L. Babai, L. Fortnow, and C. Lund. Non-deterministic exponential time has two-prover interactive protocols, Computational Complexity, pp. 3-40, 1991.
    • (1991) Computational Complexity , pp. 3-40
    • Babai, L.1    Fortnow, L.2    Lund, C.3
  • 8
    • 0028544648 scopus 로고
    • On the power of multi-prover interactive protocols
    • L. Fortnow, J. Rompel, and M. Sipser. On the power of multi-prover interactive protocols. Theoretical Computer Science, 134(2):545-557, 1994.
    • (1994) Theoretical Computer Science , vol.134 , Issue.2 , pp. 545-557
    • Fortnow, L.1    Rompel, J.2    Sipser, M.3


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