编辑配置文件（在新选项卡中打开） 理查德·奥斯特罗斯基 合著者距离 作者ID： 奥斯托夫斯基·里查德 发布日期： 理查德·奥斯特罗斯基;R.奥斯特罗斯基。 已编制索引的文档： 2出版物自2005年以来 合著者： 6位合著者具有2联合出版物 56位合著者 全部的 前5名合著者 0 单作者的 2 贝特朗·马祖尔 2 拉赫达尔·塞伊斯 1 西尔万·达拉斯 1 吉尔·迪肯 1 劳雷·德文德维尔 1 埃里克·格雷戈里 系列 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次4文件 引用人▼ 年份▼ 自动提取功能依赖项。 Zbl 1122.68597号 埃里克·格雷戈里;理查德·奥斯特罗斯基;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2005 使用布尔约束传播进行子子句推导。 Zbl 1153.68456号 达拉斯，S。;邓肯（G.Dequen）。;德文德维尔，L。;Mazure，B。;R.奥斯特罗斯基。;塞伊斯，L。 1 2005 自动提取功能依赖项。 Zbl 1122.68597号 埃里克·格雷戈里;理查德·奥斯特罗斯基;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2005 使用布尔约束传播进行子子句推导。 Zbl 1153.68456号 达拉斯，S。;邓肯（G.Dequen）。;德文德维尔，L。;Mazure，B。;R.奥斯特罗斯基。;塞伊斯，L。 1 2005 全部的 前5名12位作者引用 2 拉赫达尔·塞伊斯 1 巴拉西姆·萨迪 1 吉尔·迪肯 1 奥利维尔·杜波伊斯 1 奥利维尔·福德里诺伊 1 埃里克·格雷戈伊尔 1 赛义德·贾布尔 1 杰罗姆·朗 1 Joáo P.塞尔瓦侯爵。 1 皮埃尔·侯爵 1 贝特朗·马祖尔 1 雅库布Salhi 3篇连载文章中引用 1 人工智能 1 自动推理杂志 1 数学与人工智能年鉴 在3个字段中引用 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文