编辑配置文件(在新选项卡中打开) 艾娜·尼梅茨 合著者距离 作者ID: 尼梅茨阿纳 发布日期: 艾娜·尼梅茨 已编制索引的文档: 11出版物自2016年起 合著者: 13合著者具有11联合出版物 193位合作作者 全部的 前5名合著者 0 单作者的 11 马蒂亚斯·普雷纳 8 克拉克·W·巴雷特。 7 安德鲁·雷诺兹 7 塞萨尔·蒂内利 4 尤尼·佐哈尔 三 阿米恩·比尔 2 哈尼尔·巴博萨 2 安德烈斯·诺兹利 2 亚历克斯·奥兹德米尔 1 基里恩·克莱默 1 汉娜·拉奇尼特 1 Viswanathan,阿琼 1 斯科特·维特里 系列 2 系统设计中的形式化方法 1 自动推理杂志 字段 11 计算机科学(68-XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 9出版物有被引用31中的次20文件 引用人▼ 年份▼ 基于传播的比特精确推理局部搜索。 Zbl 1377.68134号 艾娜·尼梅茨;马蒂亚斯·普雷纳;阿米恩·比尔 6 2017 利用可逆条件求解量化位向量。 Zbl 1511.68255号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 4 2018 SMT解算器的语法制导重写规则枚举。 Zbl 1441.68233号 安德烈斯·诺茨利;安德鲁·雷诺兹;哈尼尔·巴博萨;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 可满足模理论的精确和完全基于传播的局部搜索。 Zbl 1411.68070号 艾娜·尼梅茨;马蒂亚斯·普雷纳;阿米恩·比尔 三 2016 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 三 2022 SMT求解器中的位宽度相关证明。 Zbl 07178987号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 三 2019 CVC4中基于DRAT的位向量证明。 Zbl 1441.68235号 亚历克斯·奥兹德米尔;艾娜·尼梅茨;马蒂亚斯·普雷纳;尤尼·佐哈尔;克拉克·巴雷特 三 2019 利用可逆条件求解量化位向量约束。 Zbl 1519.68236号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 三 2021 以反例为导向的模型综合。 Zbl 1452.68122号 马蒂亚斯·普雷纳;艾娜·尼梅茨;阿米恩·比尔 2 2017 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 三 2022 利用可逆条件求解量化位向量约束。 Zbl 1519.68236号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 三 2021 SMT解算器的语法制导重写规则枚举。 Zbl 1441.68233号 安德烈斯·诺兹利;安德鲁·雷诺兹;哈尼尔·巴博萨;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 SMT求解器中的位宽度相关证明。 Zbl 07178987号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 三 2019 CVC4中基于DRAT的位向量证明。 兹比尔1441.68235 亚历克斯·奥兹德米尔;艾娜·尼梅茨;马蒂亚斯·普雷纳;尤尼·佐哈尔;克拉克·巴雷特 三 2019 利用可逆条件求解量化位向量。 Zbl 1511.68255号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 4 2018 基于传播的比特精确推理局部搜索。 Zbl 1377.68134号 艾娜·尼梅茨;马蒂亚斯·普雷纳;阿米恩·比尔 6 2017 反例引导的模型合成。 Zbl 1452.68122号 马蒂亚斯·普雷纳;艾娜·尼梅茨;阿米恩·比尔 2 2017 精确和完全的基于传播的可满足性模理论的局部搜索。 Zbl 1411.68070号 艾娜·尼梅茨;马蒂亚斯·普雷纳;阿米恩·比尔 三 2016 所有引用出版物 排名前五的出版物 全部的 前5名59位作者引用 7 安德鲁·雷诺兹 7 塞萨尔·蒂内利 6 克拉克·W·巴雷特。 6 艾娜·尼梅茨 6 马蒂亚斯·普雷纳 三 哈尼尔·巴博萨 三 尤尼·佐哈尔 2 蔡少伟 2 李伯翰 2 张新迪 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 阿米恩·比尔 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 克里斯托弗·布朗。 1 哈娜·乔克勒 1 詹姆斯·哈罗德·达文波特 1 克里斯蒂娜·大卫 1 丹尼尔·迪特施 1 布鲁诺·杜特雷 1 英格兰,马修 1 傅玉福 1 Graham Lengrand,Stéphane公司 1 德扬·约瓦诺维奇 1 马吕斯·坎普 1 帕斯卡·凯塞利 1 埃里克·科斯金 1 基里恩·克莱默 1 丹尼尔·科宁 1 米贾·库尔琴斯基 1 汉娜·拉奇尼特 1 丹尼尔·拉拉兹 1 Le,Ton Chanh先生 1 刘嘉祥 1 刘远东赛勒斯 1 凯文·洛茨 1 贾斯珀·纳尔巴赫 1 安德烈斯·诺兹利 1 德克·诺沃特卡 1 亚历克斯·奥兹德米尔 1 庞成斌 1 迈克尔·菲利普森 1 伊丽莎白·波格林 1 乔治·波托卡利迪斯 1 安德斯·施利奇特克鲁尔 1 罗伯托·塞巴斯蒂亚尼 1 石小木 1 哈拉尔德·森德加德 1 菲利普·斯佩克特 1 彼得·詹姆斯·斯塔基 1 帕特里克·特伦丁 1 蔡明勋 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 王,弯腰 1 王文喜 1 格奥尔格·魏森巴赫 1 徐军 1 杨伯寅 4篇连载文章中引用 4 自动推理杂志 三 系统设计中的形式化方法 1 符号计算杂志 1 ACM计算逻辑事务 在3个字段中引用 20 计算机科学(68-XX) 4 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的引文