扬·克拉切克
人员信息
附属: 捷克共和国布拉格查尔斯大学数学和物理系
优化列表
2020年–今天
2024 [公元52年] 扬·克拉切克 :
关于强证明复杂性生成器的存在性。 牛市。 符号。 日志。 30 ( 1 ) : 20-40 ( 2024 ) 2023 [第1页] 扬·克拉切克 :
Cook-Reckhow定义。 逻辑、自动化和计算复杂性 2023 : 83-94 [i29] 扬·克拉切克 :
扩展的Nullstellensatz证明系统。 CoRR公司 abs/2301.10617 ( 2023 ) [第28条] 扬·克拉切克 :
一个证明复杂性猜想和不完全性定理。 CoRR公司 abs/2303.10637 ( 2023 ) [i27] 扬·克拉切克 :
扩展的Nullstellensatz证明系统。 电子。 计算机学术讨论会。 复杂。 第二十三条 ( 2023 ) [i26] 扬·克拉切克 :
证明复杂性猜想和不完全性定理。 电子。 计算机学术讨论会。 复杂。 第二十三条 ( 2023 ) 2022 [公元51年] 扬·克拉切克 :
命题证明和算法证明搜索中的信息。 J.塞姆。 日志。 87 ( 2 ) : 852-869 ( 2022 ) [i25] 扬·克拉切克 :
关于强证明复杂性生成器的存在性。 CoRR公司 abs/2208.11642 ( 2022 ) 【i24】 扬·克拉切克 :
关于强证明复杂性生成器的存在性。 电子。 计算机学术讨论会。 复杂。 22号机房 ( 2022 ) 2021 [约50] 扬·克拉切克 :
p-time算法通用理论中的小电路和对偶弱PHP。 ACM事务处理。 计算。 日志。 22 ( 2 ) : 11:1-11:4 ( 2021 ) [第23条] 扬·克拉切克 :
命题证明和算法证明搜索中的信息。 CoRR公司 腹肌/2104.04711 ( 2021 ) [i22] 扬·克拉切克 :
命题证明和算法证明搜索中的信息。 电子。 计算机学术讨论会。 复杂。 21号机房 ( 2021 ) 2020 [公元49年] 简·比佐夫斯基 , 扬·克拉切克 , 伊戈尔·C·奥利维拉 :
电路下界与有界理论的一致性。 日志。 方法计算。 科学。 16 ( 2 ) ( 2020 ) [公元48年] 扬·克拉切克 :
KPT插值的限制。 日志。 方法计算。 科学。 16 ( 三 ) ( 2020 ) 【i21】 扬·克拉切克 :
KPT插值的限制。 CoRR公司 abs/2004.02448 ( 2020 ) [i20] 扬·克拉切克 :
小电路和对偶弱PHP在p-time算法通用理论中的应用。 CoRR公司 abs/2004.11582 ( 2020 )
2010 – 2019
2019 [i19] 简·比佐夫斯基 , 扬·克拉切克 , 伊戈尔·C·奥利维拉 :
电路下界与有界理论的一致性。 CoRR公司 腹肌/1905.12935 ( 2019 ) [i18] 扬·克拉切克 :
Cook-Reckhow定义。 CoRR公司 abs/1909.03691 ( 2019 ) [i17] 简·比佐夫斯基 , 伊戈尔·卡博尼·奥利维拉 , 扬·克拉切克 :
电路下界与有界理论的一致性。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) 2018 [公元47年] 扬·克拉切克 , 伊戈尔·C·奥利维拉 :
关于具有局部预言符和团下界的单调电路。 别致。 J.西奥。 计算。 科学。 2018 ( 2018 ) [公元46年] 扬·克拉切克 :
带有局部预言符的随机可行插值和单调电路。 数学杂志。 日志。 18 ( 2 ) : 1850012:1-1850012:27 ( 2018 ) 2017 [j45] 扬·克拉切克 :
随机分辨率的可行插值。 日志。 方法计算。 科学。 13 ( 1 ) ( 2017 ) [公元44年] 扬·克拉切克 , 伊戈尔·C·奥利维拉 :
库克理论PV中电路上界的不可证明性。 日志。 方法计算。 科学。 13 ( 1 ) ( 2017 ) [i16] 扬·克拉切克 , 伊戈尔·C·奥利维拉 :
关于具有局部预言符和团下界的单调电路。 CoRR公司 abs/1704.06241 ( 2017 ) 2016 【i15】 扬·克拉切克 :
带有局部预言符的随机可行插值和单调电路。 CoRR公司 abs/1611.08680 ( 2016 ) [i14] 扬·克拉切克 , 伊戈尔·卡博尼·奥利维拉 :
库克理论PV中电路上界的不可证明性。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) 2015 [i13] 扬·克拉切克 :
伪有限结构和电路的扩展及证明复杂性。 CoRR公司 abs/1505.00118 ( 2015 ) [i12] 扬·克拉切克 :
电路评估、扩展分辨率和全NP搜索问题的一致性。 CoRR公司 abs/1509.03048 ( 2015 ) 2014 [i11] 奥拉夫·贝耶斯多夫 , 爱德华·赫施 , 扬·克拉切克 , 拉胡尔·桑塔纳姆 :
优化算法和证明(Dagstuhl研讨会14421)。 达格斯图尔报告 4 ( 10 ) : 51-68 ( 2014 ) 2013 [公元43年] 扬·克拉切克 :
结构的饱和特性,通过使用紧随机变量族强制获得。 架构(architecture)。 数学。 日志。 52 ( 1-2 ) : 19-28 ( 2013 ) [i10] 扬·克拉切克 :
将$AC^0[p]$Frege系统的证明复杂性降低为计算复杂性。 CoRR公司 腹肌/1311.2501 ( 2013 ) [第九章] 扬·克拉切克 :
AC的证明复杂度到计算复杂度的降低 0 [p] 弗雷格系统。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 [公元42年] 扬·克拉切克 :
使用Nisan Wigderson生成器的师生游戏的伪有限硬实例。 日志。 方法计算。 科学。 8 ( 三 ) ( 2012 ) [公元41年] 扬·克拉切克 :
关于SAT算法和证明复杂性的说明。 信息处理。 莱特。 112 ( 12 ) : 490-493 ( 2012 ) [i8] 扬·克拉切克 :
关于寻找硬重言式的计算复杂性。 CoRR公司 abs/1212.1789 ( 2012 ) 2011 【b2】 扬·克拉切克 :
随机变量强制和证明复杂性。 伦敦数学学会讲座笔记系列 382, 剑桥大学出版社 2011 ,国际标准图书编号 978-0-521-15433-8 第I-XVI页,1-247页 [j40] 扬·克拉切克 :
关于某些Ramsey型语句命题证明复杂性的注记。 架构(architecture)。 数学。 日志。 50 ( 1-2 ) : 245-255 ( 2011 ) [公元39年] 扬·克拉切克 :
基于硬NPcoNP函数的Nisan-Widgerson生成器的证明复杂性。 数学杂志。 日志。 11 ( 1 ) ( 2011 ) 2010 [公元38年] 扬·克拉切克 :
恒定深度Frege系统的一种可行插值形式。 J.塞姆。 日志。 75 ( 2 ) : 774-784 ( 2010 ) [第10条] 扬·克拉切克 :
从可行证明到可行计算。 CSL公司 2010 : 22-31 [i7] 扬·克拉切克 :
基于硬NP帽coNP函数的Nisan-Widgerson生成器的证明复杂性。 电子。 计算机学术讨论会。 复杂。 10号机房 ( 2010 )
2000 – 2009
2008 [公元37年] 扬·克拉切克 :
基于有序二元决策图的约束传播证明系统的指数下界。 J.塞姆。 日志。 73 ( 1 ) : 227-237 ( 2008 ) 2007 [公元36年] 扬·克拉切克 :
替换为命题重言式。 信息处理。 莱特。 101 ( 4 ) : 163-167 ( 2007 ) [j35] 扬·克拉切克 , 阿兰·斯凯利 , 尼尔·萨彭 :
有界算法低片段中的NP搜索问题。 J.塞姆。 日志。 72 ( 2 ) : 649-672 ( 2007 ) [j34] 史提芬·古克 , 扬·克拉切克 :
可证明性的后果 NP公司 ⊆ P/聚乙烯 . J.塞姆。 日志。 72 ( 4 ) : 1353-1371 ( 2007 ) [i6] 扬·克拉切克 :
基于有序二元决策图的约束传播证明系统的指数下界。 电子。 计算机学术讨论会。 复杂。 TR07号机组 ( 2007 ) 2006 【c9】 扬·克拉切克 :
证明复杂性生成器。 ACiD公司 2006 : 三 【c8】 扬·克拉切克 :
随机变量强制和证明复杂性。 CiE公司 2006 : 277-278 2005 [公元33年] 扬·克拉切克 :
理论计算机科学基础中的硬性假设。 架构(architecture)。 数学。 日志。 44 ( 6 ) : 667-675 ( 2005 ) [公元32年] 扬·克拉切克 :
结构化鸽子洞原理、搜索问题和硬重言式。 J.塞姆。 日志。 70 ( 2 ) : 619-630 ( 2005 ) 2004 [公元31年] 扬·克拉切克 :
一阶结构和命题证明系统的组合数学。 架构(architecture)。 数学。 日志。 43 ( 4 ) : 427-441 ( 2004 ) 【j30】 扬·克拉切克 :
近似欧拉特征、维数和弱鸽子洞原理。 J.塞姆。 日志。 69 ( 1 ) : 201-214 ( 2004 ) [公元29年] 扬·克拉切克 :
对偶弱鸽子洞原理、伪递推函数和电路下界的可证明性。 J.塞姆。 日志。 69 ( 1 ) : 265-286 ( 2004 ) [公元28年] 扬·克拉切克 :
隐式证明。 J.塞姆。 日志。 69 ( 2 ) : 387-397 ( 2004 ) [i5] 扬·克拉切克 :
证明复杂性中的对角化。 电子。 计算机学术讨论会。 复杂。 TR04型 ( 2004 ) 2003 [公元27年] 扬·克拉切克 :
Dehn函数与证明长度。 国际代数计算杂志。 13 ( 5 ) : 527-541 ( 2003 ) [i4] 扬·克拉切克 :
隐式证明。 电子。 计算机学术讨论会。 复杂。 TR03型 ( 2003 ) 2002 [公元26年] 罗素·英帕利亚佐 , 扬·克拉切克 :
关于有界算术理论之间守恒关系的注记。 数学。 日志。 问:。 48 ( 三 ) : 375-377 ( 2002 ) [公元25年] 扬·克拉切克 :
插值和近似语义推导。 数学。 日志。 问:。 48 ( 4 ) : 602-606 ( 2002 ) 2001 [公元24年] 扬·克拉切克 :
伪随机生成器的重言式。 牛市。 符号。 日志。 7 ( 2 ) : 197-212 ( 2001 ) 2000 [公元23年] 扬·克拉切克 , 斯坎伦 :
具有可定义集的组合数学:Euler特征和Grothendieck环。 牛市。 符号。 日志。 6 ( 三 ) : 311-330 ( 2000 ) [i3] 扬·克拉切克 :
伪随机生成器的重言式。 电子。 计算机学术讨论会。 复杂。 TR00型 ( 2000 )
1990 – 1999
1999 [公元22年] 马里奥加 , 扬·克拉切克 :
提升独立性导致有界运算。 架构(architecture)。 数学。 日志。 38 ( 2 ) : 123-138 ( 1999 ) 1998 [公元21年] 扬·克拉切克 , 帕维尔·普德拉克 :
S的密码学猜想的一些结果 1 2 和EF。 Inf.计算。 140 ( 1 ) : 82-94 ( 1998 ) [公元20年] 马里奥加 , 扬·克拉切克 :
有界算法和搜索问题中的见证函数。 J.塞姆。 日志。 63 ( 三 ) : 1095-1115 ( 1998 ) [公元19年] 扬·克拉切克 :
离散有序模块作为切割平面证明系统的一阶扩展。 J.塞姆。 日志。 63 ( 4 ) : 1582-1596 ( 1998 ) [j18] 扬·克拉切克 :
游戏插值。 数学。 日志。 问:。 44 : 450-458 ( 1998 ) [公元17年] 马提亚斯·巴兹 , 彼得·哈耶克 , 大卫·斯维伊达 , 扬·克拉切克 :
将逻辑嵌入到产品逻辑中。 Stud Logica公司 61 ( 1 ) : 35-47 ( 1998 ) 1997 [公元16年] 塞缪尔·巴斯 , 罗素·英帕利亚佐 , 扬·克拉切克 , 帕维尔·普德拉克 , 亚历山大·拉兹博罗夫 , 吉尔·斯加尔 :
用模计数证明代数系统和有界深度频率系统的复杂性。 计算。 复杂。 6 ( 三 ) : 256-298 ( 1997 ) [公元15年] 扬·克拉切克 :
插值定理,证明系统的下限,有界算法的独立性结果。 J.塞姆。 日志。 62 ( 2 ) : 457-486 ( 1997 ) 【c7】 扬·克拉切克 :
恒深Frege系统和多项式演算上具有消耗加速的证明系统的下限。 MFCS公司 1997 : 85-90 [i2] 扬·克拉切克 :
通过游戏进行插值。 电子。 计算机学术讨论会。 复杂。 第97页 ( 1997 ) 1995 【b1】 扬·克拉切克 :
有界算术、命题逻辑和复杂性理论。 数学百科全书及其应用 60, 剑桥大学出版社 1995 ,国际标准图书编号 978-0-521-45205-2 第I-XIII页,1-343页 [公元14年] 扬·克拉切克 , 帕维尔·普德拉克 , 艾伦·R·伍兹 :
有界深度频率大小的指数下界是鸽子洞原理的证明。 随机结构。 算法 7 ( 1 ) : 15-40 ( 1995 ) 【c6】 扬·克拉切克 :
PV模型的扩展。 逻辑座谈会 1995 : 104-114 1994 [j13] 扬·克拉切克 :
常数深度命题证明大小的下限。 J.塞姆。 日志。 59 ( 1 ) : 73-86 ( 1994 ) 【c5】 保罗·比姆 , 罗素·英帕利亚佐 , 扬·克拉切克 , 托尼安·皮塔西 , 帕维尔·普德拉克 :
Hilbert的Nullstellensatz和命题证明的下界。 光纤通信系统 1994 : 794-806 【c4】 扬·克拉切克 , 帕维尔·普德拉克 :
S_2^1和EF的密码学猜想的一些结果。 低成本航空公司 1994 : 210-220 [i1] 扬·克拉切克 , 帕维尔·普德拉克 , 艾伦·R·伍兹 :
鸽子洞原理的有界深度频率大小的指数下界证明。 电子。 计算机学术讨论会。 复杂。 TR94型 ( 1994 ) 1992 [公元12年] 扬·克拉切克 , 盖西·塔库蒂 :
关于免入职证明。 安。数学。 Artif公司。 智力。 6 ( 1-3 ) : 107-125 ( 1992 ) 【c3】 保罗·比姆 , 罗素·英帕利亚佐 , 扬·克拉切克 , 托尼安·皮塔西 , 帕维尔·普德拉克 , 艾伦·R·伍兹 :
鸽子洞原理的指数下限。 STOC公司 1992 : 200-220 1991 [公元11年] 扬·克拉切克 , 帕维尔·普德拉克 , 盖西·塔库蒂 :
有界算术和多项式层次。 Ann.纯粹应用。 日志。 52 ( 1-2 ) : 143-153 ( 1991 ) 1990 [公元10年] 扬·克拉切克 :
指数运算和二阶有界算法。 Ann.纯粹应用。 日志。 48 ( 三 ) : 261-276 ( 1990 ) [公元9年] 扬·克拉切克 , 帕维尔·普德拉克 :
量化命题演算和有界算术的片段。 数学。 日志。 问:。 36 ( 1 ) : 29-46 ( 1990 ) 【c2】 扬·克拉切克 , 帕维尔·普德拉克 , 吉尔·斯加尔 :
最优解的交互式计算。 MFCS公司 1990 : 48-60
1980 – 1989
1989 [j8] 扬·克拉切克 , 帕维尔·普德拉克 :
关于算法模型的初始段结构。 架构(architecture)。 数学。 日志。 28 ( 2 ) : 91-98 ( 1989 ) [j7] 扬·克拉切克 :
关于证明中的步骤数。 Ann.纯粹应用。 日志。 41 ( 2 ) : 153-178 ( 1989 ) [j6] 扬·克拉切克 , 帕维尔·普德拉克 :
命题证明系统,一阶理论的一致性和计算的复杂性。 J.塞姆。 日志。 54 ( 三 ) : 1063-1079 ( 1989 ) [c1] 扬·克拉切克 , 帕维尔·普德拉克 :
弱算术的命题可证性和模型。 CSL公司 1989 : 193-210 1988 [j5] 扬·克拉切克 , 帕维尔·普德拉克 :
一阶逻辑中证明行的数量和证明的大小。 架构(architecture)。 数学。 日志。 27 ( 1 ) : 69-84 ( 1988 ) 【j4】 扬·克拉切克 :
模态集理论MST中的一些结果和问题。 数学。 日志。 问:。 34 ( 2 ) : 123-134 ( 1988 ) 1987 [j3] 扬·克拉切克 :
关于虚假证据的注释。 架构(architecture)。 数学。 日志。 26 ( 1 ) : 169-176 ( 1987 ) [注2] 扬·克拉切克 :
一种可能的理解方案的模态形式。 数学。 日志。 问:。 33 ( 5 ) : 461-480 ( 1987 ) 1985 [j1] 扬·克拉切克 :
关于局部可解释类型格的一些定理。 数学。 日志。 问:。 31 ( 29-30 ) : 449-460 ( 1985 )