编辑配置文件（在新选项卡中打开） 安德烈斯·诺兹利 合著者距离 作者ID： 诺兹利·安德雷斯 发布方式： 安德烈斯·诺兹利 已编制索引的文档： 7出版物自2019年起 合著者： 17合著者具有7联合出版物 248位合作作者 全部的 前5名合著者 0 单作者的 7 克拉克·W·巴雷特。 7 安德鲁·雷诺兹 7 塞萨尔·蒂内利 三 哈尼尔·巴博萨 三 尤尼·佐哈尔 2 大卫·L·迪尔。 2 沃尔夫冈·格里斯坎普 2 艾娜·尼梅茨 2 Park，Junkil公园 2 马蒂亚斯·普雷纳 2 沙兹·卡迪尔 2 盛英 1 基里恩·克莱默 1 汉娜·拉奇尼特 1 亚历克斯·奥兹德米尔 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 系列 1 自动推理杂志 领域 7 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用11中的次11文件 引用人▼ 年份▼ SMT解算器的语法制导重写规则枚举。 Zbl 1441.68233号 安德烈斯·诺兹利;安德鲁·雷诺兹;哈尼尔·巴博萨;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 三 2022 高级抽象，用于简化SMT中的扩展字符串约束。 Zbl 07805814号 安德鲁·雷诺兹;安德烈斯·诺兹利;克拉克·巴雷特;塞萨尔·蒂内利 2 2019 对于字符串解算器来说，冲突的速度更快，减少的速度更慢。 Zbl 1514.68274号 安德烈斯·诺兹利;安德鲁·雷诺兹;哈尼尔·巴博萨;克拉克·巴雷特;塞萨尔·蒂内利 1 2022 使用SMT序列理论推理向量。 Zbl 07628185号 盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 1 2022 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 三 2022 对于字符串解算器来说，冲突的速度更快，减少的速度更慢。 Zbl 1514.68274号 安德烈斯·诺兹利;安德鲁·雷诺兹;哈尼尔·巴博萨;克拉克·巴雷特;塞萨尔·蒂内利 1 2022 使用SMT序列理论推理向量。 Zbl 07628185号 盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 1 2022 SMT解算器的语法制导重写规则枚举。 Zbl 1441.68233号 安德烈斯·诺兹利;安德鲁·雷诺兹;哈尼尔·巴博萨;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 高级抽象，用于简化SMT中的扩展字符串约束。 Zbl 07805814号 安德鲁·雷诺兹;安德烈斯·诺兹利;克拉克·巴雷特;塞萨尔·蒂内利 2 2019 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 6 安德鲁·雷诺兹 6 塞萨尔·蒂内利 5 克拉克·W·巴雷特。 4 尤尼·佐哈尔 三 哈尼尔·巴博萨 三 艾娜·尼梅茨 三 安德烈斯·诺兹利 三 马蒂亚斯·普雷纳 1 艾丽卡·阿尔布拉汉姆 1 弗兰蒂舍克·布拉胡德克 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 克里斯托弗·布朗（Christopher W.Brown）。 1 蔡少伟 1 陈玉芳 1 乔利亚特，大卫 1 詹姆斯·哈罗德·达文波特 1 大卫·L·迪尔。 1 英格兰，马修 1 沃尔夫冈·格里斯坎普 1 哈夫莱纳，沃伊特奇 1 卢卡什·霍利克 1 马吕斯·坎普 1 基里恩·克莱默 1 米贾·库尔琴斯基 1 汉娜·拉奇尼特 1 丹尼尔·拉拉兹 1 Ondřej Lengál 1 李伯翰 1 凯文·洛茨 1 贾斯珀·纳尔巴赫 1 德克·诺沃特卡 1 亚历克斯·奥兹德米尔 1 Park，Junkil公园 1 迈克尔·菲利普森 1 沙兹·卡迪尔 1 安德斯·施利奇特克鲁尔 1 盛英 1 尤拉吉·西奇 1 菲利普·斯佩克特 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 张新迪 引用于3个系列 2 自动推理杂志 1 符号计算杂志 1 ACM计算逻辑事务 在2个字段中引用 11 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文