编辑配置文件（在新选项卡中打开） 托尼·尤西拉 合著者距离 作者ID： 尤西拉托尼 发布日期： 托尼·尤西拉 已编制索引的文档： 4出版物自2003年起 合著者： 6位合著者具有4联合出版物 242位合作作者 全部的 前5名合著者 0 单作者的 三 阿明·比尔 2 卡斯滕·辛兹 1 凯乔·赫尔扬科 1 丹尼尔·科宁 1 Niemelä，Ilkka N.F。 1 Christoph M.温特斯泰格。 系列 领域 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物被引用36中的次30文件 引用人▼ 年份▼ QBF统一校对的第一步。 Zbl 1214.68334号 托尼·尤西拉;阿明·比尔;卡斯滕·辛兹;丹尼尔·科宁;Christoph M.温特斯泰格。 14 2007 符号SAT量化求解的扩展分辨率证明。 Zbl 1187.68550号 尤西拉，托尼;卡斯滕·辛兹;阿明·比尔 10 2006 使用QBF压缩BMC编码。 Zbl 1277.68136号 尤西拉，托尼;阿明·比尔 9 2007 BMC通过现场测定。 Zbl 1271.68138号 托尼·尤西拉;凯乔·赫尔扬科;伊尔卡·尼梅尔 三 2003 QBF统一校对的第一步。 Zbl 1214.68334号 托尼·尤西拉;阿明·比尔;卡斯滕·辛兹;丹尼尔·科宁;克里斯托弗·温特斯泰格。 14 2007 使用QBF压缩BMC编码。 Zbl 1277.68136号 托尼·尤西拉;阿明·比尔 9 2007 符号SAT量化求解的扩展分辨率证明。 Zbl 1187.68550号 托尼·尤西拉;卡斯滕·辛兹;阿明·比尔 10 2006 BMC通过现场测定。 Zbl 1271.68138号 托尼·尤西拉;凯乔·赫尔扬科;伊尔卡·尼梅尔 三 2003 所有引用出版物 前5名被引用出版物 全部的 前5名46位作者引用 6 阿明·比尔 5 Heule，Marijn J.H。 5 弗洛里安·朗辛 三 Randal E.布莱恩特。 2 勒罗伊·周 2 汤米·A·琼蒂拉。 2 丹尼尔·科宁 2 维克多·舒潘 2 马蒂娜·塞德尔 1 哈桑·阿姆贾德 1 瓦莱里·巴拉巴诺夫 1 阿纳布·巴塔查里亚 1 拜伦·库克 1 达莫塔，贝诺特 1 普拉蒂斯·达塔 1 乔里·杜布罗文 1 拉塔·杜塔 1 埃格利，乌韦 1 阿什图什·古普塔 1 凯乔·赫尔扬科 1 伊迪丝·赫玛斯潘德拉 1 黄金波 1 Järvisalo，马蒂 1 蒋洁红·罗兰 1 本杰明·基尔 1 拉马纳·库马尔 1 昆查尔，Ondřej 1 拉克希曼·库普萨米 1 玛尼，索米亚 1 苏拉夫·穆霍帕德海伊 1 大卫·E·纳瓦兹（David E.Narváez）。 1 卢卡·普利纳 1 阿德里安·雷博拉·帕多 1 菲利普·吕默 1 安吉特·舒克拉 1 弗里德里希·斯利沃夫斯基 1 曼达扬·K·斯利瓦斯。 1 伊戈尔·斯特芬 1 阿曼多·塔切拉 1 Leander Tentrup公司 1 穆昆德·塔泰 1 范·盖尔德，艾伦 1 韦伯，特贾克 1 Christoph M.温特斯泰格。 1 徐兆伟 1 张文辉 全部的 前5名11篇连载文章中引用 2 信息学学报 2 人工智能 2 自动推理杂志 2 系统设计中的形式化方法 2 制约因素 1 信息处理信件 1 理论计算机科学 1 计算机程序设计科学 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 在5个字段中引用 29 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文