A SURPRISING RELATIONSHIP BETWEEN DESCRIPTIVE COMPLEXITY AND PROOF COMPLEXITY

被引：0
|
作者：
Chen, Yijia [1 ]
Flum, Joerg [2 ]
Mueller, Moritz [3 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai, Peoples R China
[2] Albert Ludwigs Univ Freiburg Br, Math Inst, Freiburg, Germany
[3] Univ Passau, Fak Informat & Math, Passau, Germany
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2022年 / 2022卷 / 138期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：145 / 152
页数：8
相关论文
共 50 条
  • [1] Descriptive Complexity of Linear Equation Systems and Applications to Propositional Proof Complexity
    Grohe, Martin
    Pakusa, Wied
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [2] Descriptive Complexity for Counting Complexity Classes
    Arenas, Marcelo
    Munoz, Martin
    Riveros, Cristian
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [3] DESCRIPTIVE COMPLEXITY FOR COUNTING COMPLEXITY CLASSES
    Arenas, Marcelo
    Munoz, Martin
    Riveros, Cristian
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (01)
  • [4] THE RELATIONSHIP BETWEEN WORD COMPLEXITY AND COMPUTATIONAL COMPLEXITY IN SUBSHIFTS
    Pavlov, Ronnie
    Vanier, Pascal
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2021, 41 (04) : 1627 - 1648
  • [5] Proof Complexity
    Mueller, Moritz
    BULLETIN OF SYMBOLIC LOGIC, 2023, 29 (02) : 296 - 297
  • [6] Proof complexity
    Krajícek, J
    EUROPEAN CONGRESS OF MATHEMATICS, 2005, : 221 - 231
  • [7] The surprising complexity of peroxisome biogenesis
    Olsen, LJ
    PLANT MOLECULAR BIOLOGY, 1998, 38 (1-2) : 163 - 189
  • [8] The surprising complexity of peroxisome biogenesis
    Laura J. Olsen
    Plant Molecular Biology, 1998, 38 : 163 - 189
  • [9] The surprising complexity of signal sequences
    Hegde, Ramanujan S.
    Bernstein, Harris D.
    TRENDS IN BIOCHEMICAL SCIENCES, 2006, 31 (10) : 563 - 571
  • [10] RELATIONSHIP BETWEEN NOVELTY AND COMPLEXITY
    STANG, DJ
    JOURNAL OF PSYCHOLOGY, 1977, 95 (02): : 317 - 323
12345