ALTERNATE PROOF OF COMPOSITE LOWER BOUNDS

被引：1
|
作者：
LEINER, BM [1 ]
机构：
[1] PROBE SYST INC,SUNNYVALE,CA 94086
来源：
INFORMATION AND CONTROL | 1977年 / 33卷 / 01期
关键词：
D O I：
10.1016/S0019-9958(77)90433-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：72 / 86
页数：15
相关论文
共 50 条
  • [1] Why are Proof Complexity Lower Bounds Hard?
    Pich, Jan
    Santhanam, Rahul
    [J]. 2019 IEEE 60TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2019), 2019, : 1305 - 1324
  • [2] Lower bounds on proof length in axiomatic theories
    Orevkov, V
    [J]. IN THE SCOPE OF LOGIC: METHODOLOGY & PHILOSOPHY OF SCIENCE, 2002, 315 : 17 - 26
  • [3] LOWER BOUNDS ON DISSIPATION IN COMPOSITE SYSTEMS
    HOFFMANN, KH
    [J]. PHYSICAL REVIEW A, 1987, 35 (01): : 369 - 373
  • [4] Lower Bounds: From Circuits to QBF Proof Systems
    Beyersdorff, Olaf
    Bonacina, Ilario
    Chew, Leroy
    [J]. ITCS'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INNOVATIONS IN THEORETICAL COMPUTER SCIENCE, 2016, : 249 - 260
  • [5] An alternative proof of lower bounds for the first eigenvalue on manifolds
    Zhang, Yuntao
    Wang, Kui
    [J]. MATHEMATISCHE NACHRICHTEN, 2017, 290 (16) : 2708 - 2713
  • [6] Proof Complexity Lower Bounds from Algebraic Circuit Complexity
    Forbes, Michael A.
    Shpilka, Amir
    Tzameret, Iddo
    Wigderson, Avi
    [J]. THEORY OF COMPUTING, 2021, 17
  • [7] ON GUTTMAN PROOF THAT SQUARED MULTIPLE CORRELATIONS ARE LOWER BOUNDS FOR COMMUNALITIES
    KAISER, HF
    [J]. PSYCHOLOGICAL REPORTS, 1990, 67 (03) : 1004 - 1006
  • [8] Proof Complexity Lower Bounds from Algebraic Circuit Complexity
    Forbes, Michael A.
    Shpilka, Amir
    Tzameret, Iddo
    Wigderson, Avi
    [J]. 31ST CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC 2016), 2016, 50
  • [9] Input distance and lower bounds for propositional resolution proof length
    Van Gelder, A
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 282 - 293
  • [10] UPPER AND LOWER BOUNDS FOR NONLINEAR COMPOSITE BEHAVIOR
    WILLIS, JR
    [J]. MATERIALS SCIENCE AND ENGINEERING A-STRUCTURAL MATERIALS PROPERTIES MICROSTRUCTURE AND PROCESSING, 1994, 175 (1-2): : 7 - 14
12345