×
作者ID: 尼梅茨阿纳“Niemetz,Aina”最近发表的zbMATH文章
发布日期: 艾娜·尼梅茨
已编制索引的文档: 11出版物自2016年起
合著者: 13合著者具有11联合出版物
193位合作作者

按年份列出的出版物

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

按年份列出的引文