编辑配置文件(在新选项卡中打开) 伯纳德·塞尔维诺夫斯基 合著者距离 作者ID: 塞尔维亚诺夫斯基·伯纳德 发布日期: 伯纳德·塞尔维诺夫斯基;塞尔维诺夫斯基,B。 编入索引的文档: 2出版物自2020年起 合著者: 6位合著者具有2联合出版物 81位合作作者 全部的 前5名合著者 0 单作者的 1 克莱恩,M。 1 范秀仪 1 托马斯·亨德森。 1 阿马尔·米提奇 1 萨查尼,D。 1 卡尔·E·施威德。 系列 1 人工智能 1 代数和几何软件杂志 领域 1 交换代数(13-XX) 1 代数几何(14-XX) 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 概率句子可满足性:一种PSAT方法。 Zbl 1478.68322号 亨德森,T.C。;R·西蒙斯。;塞尔维诺夫斯基,B。;克莱恩,M。;萨查尼,D。;X·范。;A.米提奇。 1 2020 麦考利2的半标准化包。 Zbl 1439.13002号 卡尔·施威德;伯纳德·塞尔维诺夫斯基 1 2020 概率句子可满足性:一种PSAT方法。 Zbl 1478.68322号 亨德森,T.C。;R·西蒙斯。;塞尔维诺夫斯基,B。;克莱恩,M。;萨查尼,D。;X·范。;A.米提奇。 1 2020 麦考利2的半标准化包。 Zbl 1439.13002号 卡尔·施威德;伯纳德·塞尔维诺夫斯基 1 2020 全部的 前5名7位作者引用 1 Giso H.达尔。 1 阿扬·霍默索姆 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 Peter J.F.卢卡斯。 1 保罗·曼特罗 1 杰森·麦卡洛 1 兰斯·爱德华·米勒 2篇连载文章中引用 1 数学期刊 1 国际近似推理杂志 在4个字段中引用 1 交换代数(13-XX) 1 代数几何(14-XX) 1 统计学(62-XX) 1 计算机科学(68至XX) 按年份列出的引文