메뉴 건너뛰기




Volumn 196, Issue 1, 2005, Pages 42-56

Fast approximate PCPs for multidimensional bin-packing problems

Author keywords

Multidimensional bin packing problems; Probabilistically checkable proofs; Proof assisted property testing; Sublinear time algorithms

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMBINATORIAL MATHEMATICS; FUNCTIONS; PROBABILITY; SET THEORY;

EID: 10644273353     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.10.001     Document Type: Article
Times cited : (39)

References (9)
  • 1
    • 0002771903 scopus 로고
    • Non-deterministic exponential time has two-prover interactive protocols
    • L. Babai, L. Fortnow, C. Lund, Non-deterministic exponential time has two-prover interactive protocols, Computational Complexity 1 (1991) 3-40.
    • (1991) Computational Complexity , vol.1 , pp. 3-40
    • Babai, L.1    Fortnow, L.2    Lund, C.3
  • 3
    • 0032058198 scopus 로고    scopus 로고
    • Proof verification and the hardness of approximation problems
    • S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof verification and the hardness of approximation problems, Journal of the ACM 45 (3) (1998) 501-555.
    • (1998) Journal 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
  • 4
    • 1642619526 scopus 로고    scopus 로고
    • Fast approximate probabilistically checkable proofs
    • F. Ergun, R. Kumar, R. Rubinfeld, Fast approximate probabilistically checkable proofs, Information and Computation 189 (2) (2004) 135-159.
    • (2004) Information and Computation , vol.189 , Issue.2 , pp. 135-159
    • Ergun, F.1    Kumar, R.2    Rubinfeld, R.3


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