编辑配置文件(在新选项卡中打开) 萨查尼,D。 合著者距离 作者ID: 萨查尼 发布日期: 萨查尼,D。 已编制索引的文档: 1出版物自2020年起 合著者: 5位合著者具有1联合出版物 22位合作作者 合著者 0 单作者的 1 克莱恩,M。 1 范秀仪 1 托马斯·亨德森。 1 阿马尔·米提奇 1 伯纳德·塞尔维诺夫斯基 系列 1 人工智能 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1时间1文件 引用人▼ 年份▼ 概率句子可满足性:一种PSAT方法。 Zbl 1478.68322号 亨德森,T.C。;R·西蒙斯。;塞尔维诺夫斯基,B。;克莱恩,M。;萨查尼,D。;X·范。;A.米提奇。 1 2020 概率句子可满足性:一种PSAT方法。 Zbl 1478.68322号 亨德森,T.C。;西蒙斯,R。;谢尔比诺夫斯基,B。;克莱恩,M。;萨查尼,D。;X·范。;A.米提奇。 1 2020 4位作者引用 1 Giso H.达尔。 1 阿扬·霍默索姆 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 Peter J.F.卢卡斯。 连载1篇 1 国际近似推理杂志 在2个字段中引用 1 统计学(62-XX) 1 计算机科学(68至XX) 按年份列出的引文