메뉴 건너뛰기




Volumn 1974, Issue , 2000, Pages 348-360

Θp2-completeness: A classical approach for new results

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; MACHINERY; POLYNOMIAL APPROXIMATION; SOFTWARE ENGINEERING;

EID: 84947758667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44450-5_28     Document Type: Conference Paper
Times cited : (32)

References (16)
  • 3
    • 84947780496 scopus 로고
    • Proceedings of the 3rd IEEE Symp. on the Foundations of Computer Science
    • S.A. Cook. The complexity of theorem-proving procedures. Proceedings of the 3rd IEEE Symp. on the Foundations of Computer Science 1971, 524-535
    • (1971) The Complexity of Theorem-Proving Procedures , pp. 524-535
    • Cook, S.A.1
  • 9
    • 0003037529 scopus 로고    scopus 로고
    • Reducibility among combinatorial problems
    • R.E. Miller and J.W. Thatcher (eds.),, Plenum Press, New York
    • R.M. Karp. Reducibility among combinatorial problems, in R.E. Miller and J.W. Thatcher (eds.), Complexity of Computer Computations, Plenum Press, New York, 85-103
    • Complexity of Computer Computations , pp. 85-103
    • Karp, R.M.1


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