编辑配置文件（在新选项卡中打开） Samuel R.巴斯。 合著者距离 作者ID： samuel-r巴士 发布日期： Samuel R.巴斯。；萨姆·巴斯；塞缪尔·巴斯；巴斯，S。；S.R.巴斯。 更多。。。较少的 主页： https://mathweb.ucsd.edu/~斯伯斯/ 外部链接： MGP公司·ORCID公司·数据库许可证 已编制索引的文档： 118出版物自1986年以来，包括2本书和1个附加arXiv预打印 14作为编辑的贡献·1进一步贡献 合著者： 76位合著者具有88联合出版物 2415位合作作者 全部的 前5名合著者 44 单作者的 13 阿诺德·贝克曼 12 玛丽亚·路易莎 7 托尼安·皮塔西 6 尼尔·萨彭 5 Sy-David弗里德曼 5 Ulrich Wilhelm，科伦巴赫 5 莫里茨·米勒 4 詹姆斯·艾森伯格 4 罗素·英帕利亚佐 4 亚历山大·诺普 4 帕维尔·普德拉克 4 迈克尔·拉特扬 三 詹·约翰森 三 Kołodziejczyk、Leszek Aleksander 三 简·克拉契克 三 Löwe，Benedikt公司 2 迈克尔·阿列克诺维奇 2 道格拉斯·森泽 2 彼得·克罗特。 2 阿德里安·克雷西恩 2 德米特里·格里戈列夫 2 詹·菲利普·霍夫曼 2 罗莎莉，伊姆霍夫 2 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 2 加布里埃尔·伊斯特拉特。 2 Dmitry M.Itsykson。 2 艾伦·S·约翰逊。 2 瓦伦丁·卡巴内茨 2 安东尼娜·科洛科洛娃 2 米查尔·库克 2 罗马库兹涅茨 2 Joáo P.塞尔瓦侯爵。 2 米娅·米恩斯 2 什洛莫·莫兰 2 安托尼奥·莫尔加多 2 杰弗里·布赖恩·雷梅尔 2 赫尔穆特·施维赫滕贝格 2 德米特里·索科列夫 2 Gyorgy Turán 2 彼得·伊亚尼洛斯（Peter N.Yianilos）。 1 克劳斯Ambos-Spies 1 阿尔伯特·阿塞里亚斯 1 保罗·W·比姆。 1 David C.Brydges。 1 埃里克·安德斯·卡伦 1 陈一佳 1 斯蒂芬·阿瑟·库克 1 库珀、斯图亚特·巴里 1 达斯，阿努帕姆 1 威廉·法利斯（William G.Faris）。 1 弗鲁姆，约格 1 格罗斯，莱昂哈德 1 阿文德·库马尔·古普塔 1 彼得·哈耶克 1 海伊，路易丝 1 朱利安·胡克。 1 Aleksandar Ignjatović 1 布鲁斯·卡普伦。 1 亚历山大·凯克里斯。 1 弗拉基米尔·伊萨科维奇（Vladimir Isaakovich），凯·利斯·博洛克（Keĭlis-Borok） 1 格雷戈里·弗朗西斯·劳勒 1 格里戈里·埃弗罗伊莫维奇造币厂 1 约瑟夫·爱德华·纳尔逊 1 达格·诺曼 1 克里斯托斯·哈里劳斯·帕帕迪米特里奥 1 阿南德·皮莱 1 克里斯·波列特 1 维贾亚·拉马钱德兰 1 拉米亚，拉米亚 1 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 1 阿图尔·里亚扎诺夫 1 格里高·罗什乌 1 菲利普·斯科特。 1 内森·西格林 1 吉·斯加尔 1 理查德·阿诺德·肖尔 1 巴里·西蒙 1 迈克尔·索尔提斯 1 安德烈·索比 1 伊万·索斯科夫。 1 盖西·塔库蒂 1 约翰·齐齐克利斯（John N.Tsitsiklis）。 1 塞德里克·维拉尼 1 理查德·瑞安·威廉姆斯 1 兹达诺夫斯基，康拉德 全部的 前5名系列 19 纯逻辑与应用逻辑年鉴 10 符号逻辑杂志 6 Oberwolfach报告 5 理论计算机科学 4 计算机与系统科学杂志 4 SIAM计算机杂志 4 数学逻辑档案 4 ACM计算逻辑汇刊 4 计算机科学中的逻辑方法 2 信息处理信件 2 信息与计算 2 计算复杂性 2 数学逻辑季刊（MLQ） 2 符号逻辑公报 1 应用概率的进展 1 人工智能 1 计算物理杂志 1 Kiberneticheskiĭ斯博尼克。诺瓦亚·塞里亚 1 圣母院形式逻辑杂志 1 美国数学学会会刊 1 伦敦数学学会会刊。第三系列 1 Studia Logica公司 1 美国数学学会会刊 1 复杂系统 1 人工智能研究杂志 1 数学逻辑杂志 1 DIMACS系统。离散数学和理论计算机科学系列 1 逻辑课堂笔记 1 数学笔记（普林斯顿） 1 计算机科学与应用逻辑进展 1 逻辑与数学基础研究 1 证明理论研究。课堂讲稿 1 可满足性、布尔建模与计算杂志 1 可计算性 全部的 前5名领域 113 数学逻辑和基础（03-XX） 69 计算机科学（68至XX） 15 总体主题；集合（00-XX） 7 组合数学（05-XX） 2 概率论与随机过程（60-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 108出版物有被引用1210中的次781文件 引用人▼ 年份▼ 有界算术。 Zbl 0649.03042号 Samuel R.巴斯。 141 1986 证明理论手册。 Zbl 0898.03001号 69 1998 证明理论导论。 Zbl 0912.03024号 Samuel R.巴斯。 60 1998 多项式层次和直觉有界算法。 Zbl 0654.03043号 S.R.巴斯。 56 1986 命题鸽子洞原理的多项式大小证明。 Zbl 0636.03053号 Samuel R.巴斯。 54 1987 关于SAT的真实可还原性。 Zbl 0800.68443号 Samuel R.巴斯。；嗨，路易丝 34 1991 算术的一阶证明理论。 Zbl 0911.03029号 Samuel R.巴斯。 31 1998 公式计算的最佳并行算法。 Zbl 0825.68424号 巴斯，S。；库克，S。；阿文德·古普塔；拉马钱德兰，V。 29 1992 布尔复杂性在有界算法分离问题中的应用。 Zbl 0799.03066号 Samuel R.巴斯。；简·克拉契克 25 1994 可证明性的不可判定性。 Zbl 0749.03039号 Samuel R.巴斯。 24 1991 多项式微积分模不同素数的次数之间的线性间隙。 Zbl 1007.03052号 萨姆·巴斯；迪马·格里戈里耶夫；罗素·英帕利亚佐；托尼安·皮塔西 24 2001 小限制和（k\）-DNF分辨率下限的切换引理。 Zbl 1059.03063号 内森·西格林；萨姆·巴斯；罗素·英帕利亚佐 23 2004 用模计数证明代数系统和有界深度Frege系统的复杂性。 Zbl 0890.03030号 巴斯，S。；Impagliazzo，R。；克拉契克，J。；普德拉克，P。；拉兹博罗夫，A.A。；斯加尔，J。 23 1997 扩散、量子理论和基础数学。 Zbl 1104.81003号 21 2006 通过证明复杂性和搜索走向NP-P。 Zbl 1257.03086号 Samuel R.巴斯。 20 2012 解开方块是NP-hard。 Zbl 1285.68130号 萨姆·巴斯；迈克尔·索尔提斯 19 2014 弗雷格系统有硬性例子吗？ Zbl 0834.03021号 玛丽亚·路易莎；Samuel R.巴斯。；托尼安·皮塔西 19 1995 NP搜索问题之间的命题证明和约简。 Zbl 1252.03127号 Samuel R.巴斯。；艾伦·S·约翰逊。 18 2012 广义鸽子洞原理的分解证明。 Zbl 0709.03006号 Samuel R.巴斯。；吉尔吉斯·图兰 18 1988 关联有界算术和多项式时间层次。 Zbl 0829.03035号 Samuel R.巴斯。 18 1995 布尔公式的大小-深度权衡。 兹比尔0802.68067 玛丽亚·路易莎；Samuel R.巴斯。 16 1994 分辨率和弱鸽子洞原理。 兹比尔0910.03036 萨姆·巴斯；托尼安·皮塔西 16 1998 有界算术片段的公理化和守恒结果。 Zbl 0699.03032号 Samuel R.巴斯。 15 1990 用于树同构、比较和标准化的Alogtime算法。 Zbl 0884.68098号 Samuel R.巴斯。 15 1997 带引理的解析树：通过子句学习对DLL算法进行解析优化。 Zbl 1159.03009号 Samuel R.巴斯。；简·霍夫曼；詹·约翰森 14 2008 布尔公式计算和树收缩算法。 Zbl 0792.68046号 Samuel R.巴斯。 13 1993 命题一致性证明。 Zbl 0749.0304号 Samuel R.巴斯。 13 1991 最小命题证明长度是NP难线性近似的。 Zbl 0977.03032号 迈克尔·阿列克诺维奇；萨姆·巴斯；什洛莫·莫兰；托尼安·皮塔西 13 2001 改进了二阶有界算法的见证和局部改进原则。 Zbl 1287.03105号 阿诺德·贝克曼；Samuel R.巴斯。 12 2014 多项式层次中的多项式局部搜索和有界算法片段中的见证。 Zbl 1204.03056号 阿诺德·贝克曼；Samuel R.巴斯。 12 2009 命题证明复杂性：引言。 Zbl 0946.68128号 Samuel R.巴斯。 11 1999 最小命题证明长度为NP-hard到线性近似（扩展抽象）。 Zbl 0911.03028号 迈克尔·阿列克诺维奇；萨姆·巴斯；什洛莫·莫兰；托尼安·皮塔西 11 1998 有界算术和恒定深度命题证明中的折叠模计数。 Zbl 1353.03071号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；兹达诺夫斯基，康拉德 11 2015 正常克里普克结构中的直觉有效性。 兹比尔0802.03006 Samuel R.巴斯。 10 1993 推导规则以及线性和近线性证明仿真。 Zbl 0848.03028号 玛丽亚·路易莎；Samuel R.巴斯。 10 1993 关于哥德尔关于证明长度的定理。一： 行数和算术加速。 Zbl 0805.03047号 Samuel R.巴斯。 10 1994 命题演算中如何撒谎而不被定罪以及证明的长度。 Zbl 1044.03542号 帕维尔·普德拉克；Samuel R.巴斯。 10 1995 近似计数的片段。 Zbl 1338.03107号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 10 2014 有界算法和命题证明复杂性。 Zbl 0882.68130号 Samuel R.巴斯。 10 1997 2-D Tucker已完成PPA。 Zbl 1436.68127号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯 10 2020 直觉逻辑中析取和存在性质的复杂性。 Zbl 0939.03064号 萨姆·巴斯；格里戈里薄荷 9 1999 Peano算法的见证函数方法和可证明递归函数。 Zbl 0829.03036号 Samuel R.巴斯。 9 1994 有界算术片段中一致性语句的不可验证性。 Zbl 0834.03022号 Samuel R.巴斯。；Aleksandar Ignjatović 9 1995 关于有界理论和集合公理的守恒结果。 Zbl 0626.03048号 Samuel R.巴斯。 8 1987 直觉命题证明的计算内容。 Zbl 1009.03027号 Samuel R.巴斯。；帕维尔·普德拉克 8 2001 精确有效地模拟刚体旋转。 Zbl 1035.70500号 Samuel R.巴斯。 8 2000 切割平面、连接性和阈值逻辑。 Zbl 0841.03029号 Samuel R.巴斯。；彼得·克洛特 8 1996 通过证明符号表征有界算法中可定义的搜索问题。 Zbl 1244.03163号 阿诺德·贝克曼；Samuel R.巴斯。 8 2010 通过设计的Nullstellensz证明的下界。 Zbl 0890.03029号 Samuel R.巴斯。 7 1998 关于命题证明长度的一些注记。 Zbl 0841.03030号 Samuel R.巴斯。 7 1995 恒深命题证明大小的分离结果。 Zbl 1089.03048号 阿诺德·贝克曼；Samuel R.巴斯。 7 2005 有界算术理论中的可证明全函数。 Zbl 0799.03065号 Samuel R.巴斯。；简·克拉契克；盖西·塔库蒂 6 1993 耦合自动机的可预测性：关于混沌的寓言。 Zbl 0760.68031号 Samuel R.巴斯。；克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；约翰·齐齐克利斯（John N.Tsitsiklis）。 6 1991 直觉有界算法的模型理论及其在独立结果中的应用。 Zbl 0764.03021号 Samuel R.巴斯。 6 1990 复杂性理论中的强同构约简。 Zbl 1248.03060号 萨姆·巴斯；陈一佳；弗鲁姆，约格；Sy-David弗里德曼；莫里茨·米勒 6 2011 原位切割消除。 Zbl 1380.03062号 萨姆·巴斯 6 2015 21世纪数学逻辑的前景。 Zbl 0981.03003号 Samuel R.巴斯。；亚历山大·凯克里斯。；阿南德·皮莱；理查德·肖尔（Richard A.Shore）。 5 2001 改进了规则解析与子句学习证明系统的分离。 Zbl 1361.68185号 玛丽亚·路易莎；萨姆·巴斯；詹·约翰森 5 2014 命题鸽子洞原理的拟多项式大小证明。 Zbl 1347.03100号 萨姆·巴斯 5 2015 行为逻辑的不完整性。 Zbl 0959.03506号 塞缪尔·巴斯；格里高·罗什乌 5 2000 修正了自由切割消除的上限。 Zbl 1267.03053号 阿诺德·贝克曼；Samuel R.巴斯。 5 2011 归纳原理的Nullstellensatz反驳的好度界。 Zbl 0921.68088号 Samuel R.巴斯。；托尼安·皮塔西 5 1998 准凸旅行的线性和时间最小成本匹配算法。 Zbl 0913.05086号 Samuel R.巴斯。；彼得·伊亚尼洛斯（Peter N.Yianilos）。 5 1998 安全递归集合函数。 Zbl 1357.03075号 阿诺德·贝克曼；Samuel R.巴斯。；Sy-David弗里德曼 5 2015 关于自举直觉有界算法的注记。 Zbl 0792.03039号 Samuel R.巴斯。 4 1992 改进了常规解析与池解析和子句学习的分离。 Zbl 1273.03048号 玛丽亚·路易莎；萨姆·巴斯 4 2012 纯粹可证明的模态逻辑。 Zbl 0713.03009号 Samuel R.巴斯。 4 1990 DRAT证明、传播冗余和扩展分辨率。 Zbl 1441.03043号 萨姆·巴斯；尼尔·萨彭 4 2019 重新排序规则使OBDD证明系统更强大。 Zbl 1441.03042号 萨姆·巴斯；德米特里·伊特西克森；克诺普，亚历山大；德米特里·索科洛夫 4 2018 Frege的NP搜索问题和扩展Frege证明。 Zbl 1407.03071号 阿诺德·贝克曼；萨姆·巴斯 4 2017 集合迹上Frankl定理的拟多项式大小Frege证明。 Zbl 1436.03298号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯 4 2016 多项式微积分模不同素数的度之间的线性间隙。 Zbl 1345.03105号 萨姆·巴斯；迪马·格里戈里耶夫；罗素·英帕利亚佐；托尼安·皮塔西 4 1999 关于赫伯兰德定理。 Zbl 07776721号 Samuel R.巴斯。 三 1995 多项式大小Frege和（st）-连通性和十六进制重言式的分辨率证明。 Zbl 1094.03044号 Samuel R.巴斯。 三 2006 乘法图形相当于计数。 Zbl 0748.68018号 Samuel R.巴斯。 三 1992 有界算术中的序数符号和有序。 Zbl 1015.03055号 阿诺德·贝克曼；克里斯·波利特；Samuel R.巴斯。 三 2003 有界算法、证明复杂性和Parikh的两篇论文。 Zbl 0924.03106号 Samuel R.巴斯。 三 1999 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03040号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯；阿德里安·克鲁辛；加布里埃尔·伊斯特拉特 三 2018 证明逻辑的反射片段的NP-完整性。 Zbl 1211.03035号 Samuel R.巴斯。；罗马库兹涅茨 三 2009 水池里的小石头。 Zbl 1336.03019号 Samuel R.巴斯。；Leszek Alek的Kolodziejczyk 三 2014 Cobham递归集函数。 Zbl 1383.03050号 阿诺德·贝克曼；萨姆·巴斯；Sy-David弗里德曼；莫里茨·米勒；尼尔·萨彭 三 2016 准凸旅行的线性和（O（n\text{log}n）时间最小成本匹配算法。 Zbl 0867.05071号 Samuel R.巴斯。；彼得·伊亚尼洛斯（Peter N.Yianilos）。 三 1994 带有MaxHS的DRMaxSAT：第一个联系人。 Zbl 1441.68232号 安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎；若昂·西尔瓦侯爵；萨姆·巴斯 三 2019 稳定合并排序的策略。 Zbl 1431.68021号 萨姆·巴斯；克诺普，亚历山大 三 2019 有限状态传感器规定的注入结构。 Zbl 1485.03108号 萨姆·巴斯；道格拉斯·森泽；米娅·米恩斯；杰弗里·雷梅尔（Jeffrey B.Remmel）。 三 2017 有界算法和恒定深度Frege证明。 Zbl 1079.03050号 Samuel R.巴斯。 2 2004 三维计算机图形。OpenGL的数学简介。 Zbl 1044.65017号 Samuel R.巴斯。 2 2003 合理化逻辑的复杂度下限。 Zbl 1243.03026号 Samuel R.巴斯。；库兹涅茨，罗马 2 2012 找到正则分辨率的有向非循环图的NP-hardness。 Zbl 1145.03034号 Samuel R.巴斯。；简·霍夫曼 2 2008 树的串行传递闭包问题。 Zbl 0828.68099号 玛丽亚·路易莎；Samuel R.巴斯。 2 1995 子计算有界性随机性。 Zbl 1325.03050号 萨姆·巴斯；道格拉斯·森泽；杰弗里·雷梅尔（Jeffrey B.Remmel）。 2 2014 第二类泛函的资源边界连续性和序列性。 Zbl 1365.03029号 Samuel R.巴斯。；布鲁斯·卡普伦。 2 2002 \（\mathsf{VNC}^1\）中的扩展器构造。 Zbl 1402.03081号 萨姆·巴斯；瓦伦丁·卡巴内茨；安东尼娜·科洛科洛娃；米查尔·库克 2 2017 时空下限的交替交易证明的限制。 Zbl 1338.68080号 Samuel R.巴斯。；莱恩·威廉姆斯 2 2015 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03041号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯；阿德里安·科隆；加布里埃尔·伊斯特拉特 2 2015 证明（非确定性）决策树和分支程序系统的复杂性。 Zbl 07650825号 萨姆·巴斯；达斯，阿努帕姆；亚历山大·诺普 2 2020 线性分辨率。 Zbl 1484.03120号 萨姆·巴斯；詹·约翰森 1 2017 广义鸽子洞原理的分解证明。 Zbl 0797.03007号 Samuel R.巴斯。；吉尔吉斯·图兰 1 1988 用离散马尔可夫链分析求解Fisher-Wright和合并问题。 Zbl 1070.92036号 Samuel R.巴斯。；彼得·克洛特 1 2004 数理逻辑：证明理论、类型理论和构造数学。 Zbl 1066.03501号 1 2005 2-D Tucker已完成PPA。 Zbl 1436.68127号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯 10 2020 证明（非确定性）决策树和分支程序系统的复杂性。 Zbl 07650825号 萨姆·巴斯；达斯，阿努帕姆；克诺普，亚历山大 2 2020 \（\mathrm{VNC}^1\）中的扩展器构造。 Zbl 1481.03065号 萨姆·巴斯；瓦伦丁·卡巴内茨；安东尼娜·科洛科洛娃；米查尔·库克 1 2020 DRAT证明、传播冗余和扩展分辨率。 Zbl 1441.03043号 萨姆·巴斯；尼尔·萨彭 4 2019 带有MaxHS的DRMaxSAT：第一个联系人。 Zbl 1441.68232号 安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎；若昂·西尔瓦侯爵；萨姆·巴斯 三 2019 稳定合并排序的策略。 Zbl 1431.68021号 萨姆·巴斯；亚历山大·诺普 三 2019 重新排序规则使OBDD证明系统更强大。 Zbl 1441.03042号 萨姆·巴斯；德米特里·伊特西克森；克诺普，亚历山大；德米特里·索科洛夫 4 2018 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03040号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯；阿德里安·克鲁辛；加布里埃尔·伊斯特拉特 三 2018 Cobham递归集函数和弱集理论。 Zbl 1448.03029号 阿诺德·贝克曼；萨姆·巴斯；Sy-David弗里德曼；莫里茨·米勒；尼尔·萨彭 1 2018 Frege的NP搜索问题和扩展Frege证明。 Zbl 1407.03071号 阿诺德·贝克曼；萨姆·巴斯 4 2017 有限状态传感器规定的注入结构。 Zbl 1485.03108号 萨姆·巴斯；道格拉斯·森泽；米娅·米恩斯；杰弗里·雷梅尔（Jeffrey B.Remmel）。 三 2017 \（\mathsf{VNC}^1\）中的扩展器构造。 Zbl 1402.03081号 萨姆·巴斯；瓦伦丁·卡巴内茨；安东尼娜·科洛科洛娃；米查尔·库克 2 2017 线性分辨率。 Zbl 1484.03120号 萨姆·巴斯；詹·约翰森 1 2017 ACC陈述的统一证明。 Zbl 1406.03053号 萨姆·巴斯 1 2017 集合迹上Frankl定理的拟多项式大小Frege证明。 Zbl 1436.03298号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯 4 2016 Cobham递归集函数。 Zbl 1383.03050号 阿诺德·贝克曼；萨姆·巴斯；Sy-David弗里德曼；莫里茨·米勒；尼尔·萨彭 三 2016 有界算术和恒定深度命题证明中的折叠模计数。 Zbl 1353.03071号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；兹达诺夫斯基，康拉德 11 2015 现场切割消除。 Zbl 1380.03062号 萨姆·巴斯 6 2015 命题鸽子洞原理的拟多项式大小证明。 Zbl 1347.03100号 萨姆·巴斯 5 2015 安全递归集函数。 Zbl 1357.03075号 阿诺德·贝克曼；Samuel R.巴斯。；Sy-David弗里德曼 5 2015 时空下限的交替交易证明的限制。 Zbl 1338.68080号 Samuel R.巴斯。；莱恩·威廉姆斯 2 2015 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03041号 詹姆斯·艾森伯格；玛丽亚·路易莎；萨姆·巴斯；阿德里安·科隆；加布里埃尔·伊斯特拉特 2 2015 解开方块是NP-hard。 兹比尔1285.68130 萨姆·巴斯；迈克尔·索尔提斯 19 2014 改进了二阶有界算法的见证和局部改进原则。 Zbl 1287.03105号 阿诺德·贝克曼；Samuel R.巴斯。 12 2014 近似计数的片段。 Zbl 1338.03107号 Samuel R.巴斯。；Kołodziejczyk、Leszek Aleksander；尼尔·萨彭 10 2014 改进了规则解析与子句学习证明系统的分离。 Zbl 1361.68185号 玛丽亚·路易莎；萨姆·巴斯；詹·约翰森 5 2014 水池里的小石头。 Zbl 1336.03019号 Samuel R.巴斯。；Leszek Alek的Kolodziejczyk 三 2014 子计算有界性随机性。 Zbl 1325.03050号 萨姆·巴斯；道格拉斯·森泽；杰弗里·雷梅尔（Jeffrey B.Remmel）。 2 2014 概率算法随机性。 Zbl 1305.03037号 萨姆·巴斯；米娅·明尼斯 1 2013 通过证明复杂性和搜索走向NP-P。 Zbl 1257.03086号 Samuel R.巴斯。 20 2012 NP搜索问题之间的命题证明和约简。 Zbl 1252.03127号 Samuel R.巴斯。；艾伦·S·约翰逊。 18 2012 改进了常规解析与池解析和子句学习的分离。 Zbl 1273.03048号 玛丽亚·路易莎；萨姆·巴斯 4 2012 合理化逻辑的复杂度下限。 Zbl 1243.03026号 Samuel R.巴斯。；罗马库兹涅茨 2 2012 复杂性理论中的强同构约简。 兹比尔1248.03060 萨姆·巴斯；陈一佳；弗鲁姆，约格；Sy-David弗里德曼；莫里茨·米勒 6 2011 修正了自由切割消除的上限。 Zbl 1267.03053号 阿诺德·贝克曼；Samuel R.巴斯。 5 2011 数理逻辑：证明理论，构造数学。2011年11月6日至12日举行的研讨会摘要。 Zbl 1349.00097号 1 2011 通过证明符号表征有界算法中可定义的搜索问题。 Zbl 1244.03163号 阿诺德·贝克曼；Samuel R.巴斯。 8 2010 一阶逻辑中多项式规模迭代定义的量词复杂性。 Zbl 1209.03005号 Samuel R.巴斯。；艾伦·S·约翰逊。 1 2010 多项式层次中的多项式局部搜索和有界算法片段中的见证。 Zbl 1204.03056号 阿诺德·贝克曼；Samuel R.巴斯。 12 2009 证明逻辑的反射片段的NP-完整性。 Zbl 1211.03035号 Samuel R.巴斯。；罗马库兹涅茨 三 2009 带引理的解析树：通过子句学习对DLL算法进行解析优化。 Zbl 1159.03009号 Samuel R.巴斯。；简·霍夫曼；詹·约翰森 14 2008 找到正则分辨率的有向非循环图的NP-hardness。 兹比尔1145.03034 Samuel R.巴斯。；简·霍夫曼 2 2008 扩散、量子理论和基础初等数学。 Zbl 1104.81003号 21 2006 多项式大小Frege和（st）-连通性和十六进制重言式的分辨率证明。 Zbl 1094.03044号 Samuel R.巴斯。 三 2006 恒深命题证明大小的分离结果。 Zbl 1089.03048号 阿诺德·贝克曼；Samuel R.巴斯。 7 2005 数理逻辑：证明理论、类型理论和构造数学。 Zbl 1066.03501号 1 2005 小限制和（k\）-DNF分辨率下限的切换引理。 Zbl 1059.03063号 内森·西格林；萨姆·巴斯；罗素·英帕利亚佐 23 2004 有界算法和恒定深度Frege证明。 Zbl 1079.03050号 Samuel R.巴斯。 2 2004 用离散马尔可夫链分析求解Fisher-Wright和合并问题。 Zbl 1070.92036号 Samuel R.巴斯。；彼得，克洛特 1 2004 有界算术中的序数符号和有序。 Zbl 1015.03055号 阿诺德·贝克曼；克里斯·波列特；Samuel R.巴斯。 三 2003 三维计算机图形。OpenGL的数学简介。 Zbl 1044.65017号 Samuel R.巴斯。 2 2003 第二类泛函的资源边界连续性和序列性。 Zbl 1365.03029号 Samuel R.巴斯。；布鲁斯·卡普伦。 2 2002 多项式微积分模不同素数的度之间的线性间隙。 兹比尔1007.03052 萨姆·巴斯；迪马·格里戈里耶夫；罗素·英帕利亚佐；托尼安·皮塔西 24 2001 最小命题证明长度为NP-hard到线性近似。 Zbl 0977.03032号 迈克尔·阿列克诺维奇；萨姆·巴斯；什洛莫·莫兰；托尼安·皮塔西 13 2001 直觉命题证明的计算内容。 Zbl 1009.03027号 Samuel R.巴斯。；帕维尔·普德拉克 8 2001 21世纪数学逻辑的前景。 Zbl 0981.03003号 Samuel R.巴斯。；亚历山大·凯克里斯。；阿南德·皮莱；理查德·肖尔（Richard A.Shore）。 5 2001 精确有效地模拟刚体旋转。 Zbl 1035.70500号 Samuel R.巴斯。 8 2000 行为逻辑的不完整性。 Zbl 0959.03506号 塞缪尔·巴斯；格里高·罗什乌 5 2000 98年逻辑学术讨论会。1998年8月9日至15日，捷克共和国布拉格，符号逻辑协会年度欧洲夏季会议记录。 Zbl 0932.00038号 1 2000 命题证明复杂性：引言。 兹伯利0946.68128 Samuel R.巴斯。 11 1999 直觉逻辑中析取和存在性质的复杂性。 Zbl 0939.03064号 萨姆·巴斯；格里戈里薄荷 9 1999 多项式微积分模不同素数的度之间的线性间隙。 Zbl 1345.03105号 萨姆·巴斯；迪马·格里戈里耶夫；罗素·英帕利亚佐；托尼安·皮塔西 4 1999 有界算法、证明复杂性和Parikh的两篇论文。 Zbl 0924.03106号 Samuel R.巴斯。 三 1999 证明理论手册。 Zbl 0898.03001号 69 1998 证明理论导论。 Zbl 0912.03024号 Samuel R.巴斯。 60 1998 算术的一阶证明理论。 兹伯利0911.03029 Samuel R.巴斯。 31 1998 分辨率和弱鸽子洞原理。 Zbl 0910.03036号 萨姆·巴斯；托尼安·皮塔西 16 1998 最小命题证明长度为NP-hard到线性近似（扩展抽象）。 Zbl 0911.03028号 迈克尔·阿列克诺维奇；萨姆·巴斯；什洛莫·莫兰；托尼安·皮塔西 11 1998 通过设计证明Nullstellensatz的下限。 Zbl 0890.03029号 Samuel R.巴斯。 7 1998 归纳原理的Nullstellensatz反驳的好度界。 Zbl 0921.68088号 Samuel R.巴斯。；托尼安·皮塔西 5 1998 准凸旅行的线性和时间最小成本匹配算法。 Zbl 0913.05086号 Samuel R.巴斯。；Yianilos，Peter N。 5 1998 用模计数证明代数系统和有界深度Frege系统的复杂性。 Zbl 0890.03030号 巴斯，S。；Impagliazzo，R。；克拉契克，J。；普德拉克，P。；拉兹博罗夫，A.A。；斯加尔，J。 23 1997 用于树同构、比较和标准化的Alogtime算法。 Zbl 0884.68098号 Samuel R.巴斯。 15 1997 有界算法和命题证明复杂性。 Zbl 0882.68130号 Samuel R.巴斯。 10 1997 切割平面、连接性和阈值逻辑。 Zbl 0841.03029号 Samuel R.巴斯。；彼得·克洛特 8 1996 弗雷格系统有硬性例子吗？ Zbl 0834.03021号 玛丽亚·路易莎；Samuel R.巴斯。；托尼安·皮塔西 19 1995 关联有界算术和多项式时间层次。 兹伯利0829.03035 Samuel R.巴斯。 18 1995 命题演算中如何撒谎而不被定罪以及证明的长度。 Zbl 1044.03542号 帕维尔·普德拉克；Samuel R.巴斯。 10 1995 有界算术片段中一致性语句的不可验证性。 Zbl 0834.03022号 Samuel R.巴斯。；Aleksandar Ignjatović 9 1995 关于命题证明长度的一些注记。 Zbl 0841.03030号 Samuel R.巴斯。 7 1995 关于赫伯兰德定理。 Zbl 07776721号 Samuel R.巴斯。 三 1995 树的串行传递闭包问题。 Zbl 0828.68099号 玛丽亚·路易莎；Samuel R.巴斯。 2 1995 关于哥德尔关于证明长度的定理。II： 识别\（k\）符号可证明性的下界。 Zbl 0829.03034号 Samuel R.巴斯。 1 1995 布尔复杂性在有界算法分离问题中的应用。 Zbl 0799.03066号 Samuel R.巴斯。；简·克拉契克 25 1994 布尔公式的大小-深度权衡。 兹比尔0802.68067 玛丽亚·路易莎；Samuel R.巴斯。 16 1994 关于哥德尔关于证明长度的定理。一： 行数和算术加速。 Zbl 0805.03047号 Samuel R.巴斯。 10 1994 Peano算法的见证函数方法和可证明递归函数。 Zbl 0829.03036号 Samuel R.巴斯。 9 1994 准凸旅行的线性和（O（n\text{log}n）时间最小成本匹配算法。 Zbl 0867.05071号 Samuel R.巴斯。；彼得·伊亚尼洛斯（Peter N.Yianilos）。 三 1994 布尔公式求值和树收缩的算法。 Zbl 0792.68046号 Samuel R.巴斯。 13 1993 正常克里普克结构中的直觉有效性。 Zbl 0802.03006号 Samuel R.巴斯。 10 1993 推导规则以及线性和近线性证明仿真。 Zbl 0848.03028号 玛丽亚·路易莎；Samuel R.巴斯。 10 1993 有界算术理论中的可证明全函数。 Zbl 0799.03065号 Samuel R.巴斯。；简·克拉契克；盖西·塔库蒂 6 1993 公式计算的最佳并行算法。 Zbl 0825.68424号 巴斯，S。；库克，S。；阿文德·古普塔；拉马钱德兰，V。 29 1992 关于自举直觉有界算法的注记。 Zbl 0792.03039号 Samuel R.巴斯。 4 1992 乘法图形相当于计数。 Zbl 0748.68018号 Samuel R.巴斯。 三 1992 关于SAT的真实可还原性。 兹比尔0800.68443 Samuel R.巴斯。；嗨，路易丝 34 1991 可证明性的不可判定性。 Zbl 0749.03039号 Samuel R.巴斯。 24 1991 命题一致性证明。 Zbl 0749.0304号 Samuel R.巴斯。 13 1991 耦合自动机的可预测性：关于混沌的寓言。 Zbl 0760.68031号 Samuel R.巴斯。；克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；约翰·齐齐克利斯（John N.Tsitsiklis）。 6 1991 有界算术片段的公理化和守恒结果。 Zbl 0699.03032号 Samuel R.巴斯。 15 1990 …还有8个文档 所有引用的出版物 前5名被引用出版物 全部的 前5名812位作者引用 49 Samuel R.巴斯。 25 奥拉夫·拜尔斯多夫 18 简·克拉契克 15 帕维尔·普德拉克 15 阿尔伯特·维瑟 14 阿诺德·贝克曼 14 埃米尔·杰瓦贝克 14 尼尔·萨彭 11 阿尔伯特·阿塞里亚斯 10 尼古拉·加莱西 10 托尼安·皮塔西 9 保罗·戈德伯格（Paul W.Goldberg）。 9 Kołodziejczyk、Leszek Aleksander 9 马西莫·劳里亚 9 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 8 乔舒亚·布林霍恩 8 克里希纳·苏布拉马尼 7 玛丽亚·路易莎 7 托马斯·艾特 7 米纳·马哈扬 7 莫里茨·米勒 7 盖西·塔库蒂 7 伊多·扎梅雷特 6 彼得·克罗特。 6 斯蒂芬·阿瑟·库克 6 亚历山大·霍伦德 6 Dmitry M.Itsykson。 6 雅各布诺德斯特伦 6 克里斯·波利特 5 埃里克·艾伦德。 5 阿莱、东山英彦 5 杰里米·阿维加德 5 诺伯特·格拉茨 5 罗素·英帕利亚佐 5 约翰·科布勒 5 Ulrich Wilhelm，科伦巴赫 5 利马耶·努坦 5 马库斯·洛伊 5 莫蒂扎·莫尼里 5 迈克尔·索尔提斯 5 卢茨斯特拉汉堡 5 Dan E.威拉德。 4 阿达莫维奇，佐菲亚 4 詹姆斯·艾森伯格 4 丹切夫、斯特凡·斯托亚诺夫 4 达斯，阿努帕姆 4 加布里埃尔·迪·斯特法诺 4 费雷拉，费尔南多 4 菲洛斯·拉特西卡斯，阿里斯 4 保罗·金蒂里尼 4 德米特里·格里戈列夫 4 斯特凡·赫兹尔 4 卢克·欣德 4 罗莎莉，伊姆霍夫 4 詹·约翰森 4 Joost J.乔斯特恩。 4 巴纳比·D·马丁。 4 迈尔，或 4 乔治·莫瑟 4 阿尔弗雷多·纳瓦拉 4 卡洛·尼古莱 4 费多尔·帕霍莫夫。 4 克里斯托斯·哈里劳斯·帕帕迪米特里奥 4 山姆·桑德斯 4 安德烈·索比 4 托马斯·斯特拉姆 4 克劳德·苏里森 4 阿拉斯代尔·厄克哈特 4 圣埃芬·维亚莱特 4 Wojciechowski，Piotr J。 三 Noriko H.Arai。 三 维克拉曼·阿尔文德 三 马提亚斯·巴兹 三 阿弥陀佛巴苏 三 保罗·W·比姆。 三 亚历山德拉·卡博尼 三 道格拉斯·森泽 三 勒罗伊·周 三 蝉蜕、阿加塔 三 科恩、利隆 三 乌戈·达尔拉戈 三 保拉·达奎诺 三 苏珊娜·德·雷泽德（Susanna F.de Rezende）。 三 伊丽特·迪努尔 三 塞巴斯蒂安·埃伯哈德 三 吉尔达·费雷拉 三 爱德华·赫施。 三 托马斯·伊卡德（Thomas F.III） 三 乔尔吉·贾普里泽 三 安东尼娜·科洛科洛娃 三 玛丽亚·科什 三 托雷·科斯 三 安德烈亚斯·克雷布斯 三 Leszczyńska Jasion，多罗塔 三 托马斯·卢卡西维奇 三 弗罗林·马内亚 三 皮埃尔·麦肯齐 三 佛朗哥·蒙塔格纳 三 弗洛里安·佩卢佩西 三 比奇，Ján …还有712名作者 全部的 前5名114篇连载文章中引用 103 纯逻辑与应用逻辑年鉴 70 理论计算机科学 49 数学逻辑档案 40 符号逻辑杂志 29 计算机与系统科学杂志 26 信息与计算 18 计算复杂性 18 符号逻辑公报 15 Studia Logica公司 15 ACM计算逻辑汇刊 14 数学逻辑季刊（MLQ） 14 计算系统理论 12 信息处理信件 12 哲学逻辑杂志 11 计算机科学中的逻辑方法 10 圣母院形式逻辑杂志 9 人工智能 9 符号逻辑述评 8 离散应用数学 8 SIAM计算机杂志 7 数学与人工智能年鉴 6 自动推理杂志 5 合成 5 算法 5 MSCS公司。计算机科学中的数学结构 4 泛逻辑 三 美国数学学会会刊 三 美国数学学会会刊 三 数学编程。A系列B系列 三 应用非经典逻辑杂志 三 数学科学杂志（纽约） 三 人工智能研究杂志 三 数学逻辑杂志 三 应用逻辑杂志 三 计算理论 2 数学进展 2 数学基础 2 数学系统理论 2 国际计算机科学基础杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 逻辑、语言与信息杂志 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 葡萄牙数学。Nova Série公司 2 离散算法杂志 2 逻辑与分析杂志 2 可计算性 1 信息学报 1 美国数学月刊 1 应用力学与工程中的计算机方法 1 计算机物理通信 1 离散数学 1 以色列数学杂志 1 计算物理杂志 1 富兰克林学院学报 1 Automatica公司 1 《伦敦数学学会通报》 1 国际工程数值方法杂志 1 代数杂志 1 组合理论杂志。系列A 1 计算与应用数学杂志 1 图论杂志 1 纯粹与应用代数杂志 1 日本科学院院刊。系列A 1 米兰费西科马特米蒂科研讨会（Rendiconti del Seminario Matemático e Fisico di Milano） 1 半群论坛 1 逻辑科公报 1 欧洲组合数学杂志 1 组合数学 1 逻辑历史与哲学 1 数学应用学报 1 符号计算杂志 1 离散和计算几何 1 数学和计算机建模 1 计算的形式方面 1 人工智能通信 1 随机结构与算法 1 国际代数与计算杂志 1 离散事件动态系统 1 游戏与经济行为 1 欧洲运筹学杂志 1 美国数学学会公报。新系列 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 组合数学电子杂志 1 计算数学进展 1 数学通信 1 微分方程与动力系统 1 组合优化期刊 1 美国计算机学会期刊 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 数学年鉴。第二系列 1 跨学科信息科学（IIS） 1 埃尔肯特尼斯 1 非线性科学与数值模拟中的通信 1 逻辑与逻辑哲学 1 机器学习研究杂志（JMLR） 1 自然计算 …还有14部连续剧 全部的 前5名37个领域被引用 547 数学逻辑和基础（03-XX） 422 计算机科学（68至XX） 43 组合数学（05-XX） 20 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 17 运筹学、数学规划（90-XX） 13 信息与通信理论、电路（94-XX） 12 总体主题；集合（00-XX） 10 阶、格、有序代数结构（06-XX） 9 历史和传记（01-XX） 7 交换代数（13-XX） 7 粒子和系统力学（70-XX） 6 群论与推广（20-XX） 6 动力系统和遍历理论（37至XX） 6 数值分析（65-XX） 6 量子理论（81-XX） 5 数论（11-XX） 4 一般代数系统（08-XX） 三 范畴理论；同调代数（18-XX） 三 测量和集成（28-XX） 三 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 实函数（26年X月X日） 2 代数拓扑（55-XX） 2 流形和细胞复合体（57至XX） 2 整体分析，流形分析（58至XX） 2 生物学和其他自然科学（92-XX） 2 数学教育（97-XX） 1 代数几何（14-XX） 1 非结合环与代数（17-XX） 1 偏微分方程（35-XX） 1 凸和离散几何（52至XX） 1 微分几何（53至XX） 1 一般拓扑结构（54-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 按年份列出的引文