停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

艾娜·尼梅茨

>主页 >珀森斯

人员信息

附属： 斯坦福大学计算机科学系，加利福尼亚州，美国
从属关系（Dr.techn.，2017）： 奥地利林茨约翰内斯·开普勒大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/BarbosaBCDKLNNOPRTZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/BarbosaBCDKLNNOPRTZ23
哈尼尔·巴博萨,克拉克·W·巴雷特,拜伦·库克,布鲁诺·杜特雷,Gereon Kremer公司,汉娜·拉奇尼特,艾娜·尼梅茨,安德烈斯·诺兹利,亚历克斯·奥兹德米尔,马蒂亚斯·普雷纳,安德鲁·雷诺兹,塞萨尔·蒂内利,尤尼·佐哈尔:
生成和利用自动推理证明证书。 Commun公司。ACM公司 66(10):86-95(2023)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ScottNPNG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/ScottNPNG23
约瑟夫·斯科特,艾娜·尼梅茨,马蒂亚斯·普雷纳,赛义德·内贾蒂,维杰·加内什:
SMT算法选择。 Int.J.软件。技术工具。Transf公司。 25(2):219-239(2023)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ScottNPNG23a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/ScottNPNG23a
约瑟夫·斯科特,艾娜·尼梅茨,马蒂亚斯·普雷纳,赛义德·内贾蒂,维杰·加内什:
出版商更正：SMT的算法选择。 Int.J.软件。技术工具。Transf公司。 25(5):799-800(2023)
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NiemetzP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NiemetzP23
艾娜·尼梅茨,马蒂亚斯·普雷纳:
比特乌兹拉。 CAV（2） 2023:3-17
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/FazekasNPKSB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/FazekasNPKSB23
卡塔琳·法泽卡斯,艾娜·尼梅茨,马蒂亚斯·普雷纳,马库斯·基奇韦格,斯特凡·塞德尔,阿明·比尔:
IPASIR-UP：CDCL的用户传播器。坐 2023:8:1-8:13
2022
[公元26年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BarbosaRKLNNOPV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BarbosaRKLNNOPV22
哈尼尔·巴博萨,安德鲁·雷诺兹,Gereon Kremer公司,汉娜·拉奇尼特,艾娜·尼梅茨,安德烈斯·诺兹利,亚历克斯·奥兹德米尔,马蒂亚斯·普雷纳,阿尔琼·维斯瓦纳坦,斯科特·维特里,尤尼·佐哈尔,塞萨尔·蒂内利,克拉克·W·巴雷特:
工业级SMT解决方案中的灵活验证生产。国际JCAR 2022:15-35
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NiemetzPB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NiemetzPB22
艾娜·尼梅茨,马蒂亚斯·普雷纳,克拉克·W·巴雷特:
Murxla：用于SMT解决程序的模块化和高度可扩展的API Fuzzer。 CAV（2） 2022:92-106
[c24]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/NotzliBNPRBT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NotzliBNPRBT22
安德烈斯·诺兹利,哈尼尔·巴博萨,艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
使用领域特定语言重建细粒度改写证明。 FMCAD公司 2022:65-74
【c23】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/Niemetz22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/Niemetz22
艾娜·尼梅茨:
受邀演讲：局部搜索位精确推理及其他。表面贴装技术 2022:1
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BarbosaBBKLMMMN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BarbosaBBKLMMMN22
哈尼尔·巴博萨,克拉克·W·巴雷特,马丁·布莱恩,Gereon Kremer公司,汉娜·拉奇尼特,马凯·曼,阿卜杜勒赫曼·穆罕默德,穆达蒂尔·穆罕默德,艾娜·尼梅茨,安德烈斯·诺兹利,亚历克斯·奥兹德米尔,马蒂亚斯·普雷纳,安德鲁·雷诺兹,英生,塞萨尔·蒂内利,尤尼·佐哈尔:
cvc5：一款通用且具有行业实力的SMT解决方案。 TACAS（1） 2022:415-442
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/ZoharIMNNPRBT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/ZoharIMNNPRBT22
尤尼·佐哈尔,艾哈迈德·伊尔凡,马凯·曼,艾娜·尼梅茨,安德烈斯·诺兹利,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
通过Int-Blasting进行位精确推理。 VMCAI公司 2022:496-518
2021
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/NiemetzPRBT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/NiemetzPRBT21
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
利用可逆条件求解量化位向量约束。形式化方法系统。设计。 57(1):87-115(2021)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/NiemetzP0ZBT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/NiemetzP0ZBT21
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,尤尼·佐哈尔,克拉克·W·巴雷特,塞萨尔·蒂内利:
走向可满足模参数位向量。 J.自动化。原因。 65(7):1001-1025(2021)
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KremerNP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KremerNP20
Gereon Kremer公司,艾娜·尼梅茨,马蒂亚斯·普雷纳:
ddSMT 2.0：针对SMT-LIBv2语言和朋友的更好的Delta调试。 CAV（2） 2021:231-242
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NiemetzPRBT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NiemetzPRBT21
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
语法引导量词实例化。 TACAS（2） 2021:145-163
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ScottNPNG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ScottNPNG21
约瑟夫·斯科特,艾娜·尼梅茨,马蒂亚斯·普雷纳,赛义德·内贾蒂,维杰·加内什:
MachSMT：基于机器学习的SMT求解器算法选择器。 TACAS（2） 2021:303-325
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/smt/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/2021
亚历山大·纳达尔,艾娜·尼梅茨:
第19届可满足性模理论国际研讨会论文集，与第33届计算机辅助验证国际会议（CAV 2021）合办，在线（最初位于美国洛杉矶），2021年7月18日至19日。 CEUR研讨会记录2908,CEUR-WS.org公司 2021 [目录]
2020
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dac/BharBBCDDDFFHHH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dac/BahrBBCDDDFFHHH20
瑞克·巴尔,克拉克·W·巴雷特,尼基尔·巴格迪卡尔,亚历克斯·卡塞洛,罗斯·戴利,卡勒布·多诺维克,大卫·杜斯特,凯文·法塔哈利安,凯瑟琳·冯,帕特·汉拉罕,特古·霍夫斯蒂,马克·霍洛维茨,迪伦·赫夫,弗雷德里克·克约尔斯塔德,Taeyong Kong公司,刘巧怡,马凯·曼,杰克逊·梅尔切特,安基塔·纳亚克,艾娜·尼梅茨,Gedeon Nyengele公司,普里扬卡·雷纳,斯蒂芬·理查森,拉杰克哈尔·塞塔卢里,杰夫·塞特,卡维亚·斯里达尔,麦克斯韦奇怪,唐建思,克里斯托弗·托恩,伦纳德·特朗,内斯坦·齐斯卡里泽,科伊·张:
创建敏捷硬件设计流程。数模转换器 2020:1-6
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/NiemetzP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NiemetzP20
艾娜·尼梅茨,马蒂亚斯·普雷纳:
基于三值传播的局部搜索，用于更精确的位推理。 FMCAD公司 2020:214-224
[第15条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/ScottNPG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/ScottNPG20
约瑟夫·斯科特,艾娜·尼梅茨,马蒂亚斯·普雷纳,维杰·加内什:
摘要：MachSMT：一种基于机器学习的SMT求解器算法选择器。表面贴装技术 2020:62
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2006-01621
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2006-01621
艾娜·尼梅茨,马蒂亚斯·普雷纳:
Bitwuzla出席SMT-COMP 2020。 CoRR公司 abs/2006.01621(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/WeberCDHNR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/WeberCDHNR19
贾克·韦伯,Sylvain Conchon公司,大卫·戴哈贝,马蒂亚斯·海兹曼,艾娜·尼梅茨,贾尔斯·雷格尔:
2015-2018年SMT竞赛。 J.满意。布尔模型。计算。 11(1):221-259(2019)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NiemetzPRZBT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NiemetzPRZBT19
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,尤尼·佐哈尔,克拉克·W·巴雷特,塞萨尔·蒂内利:
SMT求解器中的位宽度独立证明。学员 2019:366-384
[c13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrainNPRBT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrainNPRBT19
马丁·布莱恩,艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
浮点公式的可逆条件。 CAV（2） 2019:116-136
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NotzliRBNPBT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NotzliRBNPBT19
安德烈斯·诺兹利,安德鲁·雷诺兹,哈尼尔·巴博萨,艾娜·尼梅茨,马蒂亚斯·普雷纳,克拉克·W·巴雷特,塞萨尔·蒂内利:
SMT解算器的语法引导重写规则枚举。坐 2019:279-297
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/OzdemirNPZB19会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/OzdemirNPZB19
亚历克斯·奥兹德米尔,艾娜·尼梅茨,马蒂亚斯·普雷纳,约尼·佐哈尔,克拉克·W·巴雷特:
CVC4中基于DRAT的位矢量证明。坐 2019:298-305
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-10434
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-10434
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,尤尼·佐哈尔,克拉克·W·巴雷特,塞萨尔·蒂内利:
SMT求解器中的位宽度独立证明。 CoRR公司 abs/1905.10434(2019)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1907-00087
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-00087
亚历克斯·奥兹德米尔,艾娜·尼梅茨,马蒂亚斯·普雷纳,尤尼·佐哈尔,克拉克·W·巴雷特:
CVC4中基于DRAT的位矢量证明。 CoRR公司 abs/1907.00087(2019)
2018
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NiemetzPRBT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NiemetzPRBT18
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
使用可逆条件求解量化位向量。 CAV（2） 2018:236-255
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NiemetzPWB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NiemetzPWB18
艾娜·尼梅茨,马蒂亚斯·普雷纳,克利福德·沃尔夫,阿明·比尔:
Btor2、BtorMC和Boolector 3.0。 CAV（1） 2018:587-595
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-05025
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-05025
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
关于使用可逆条件求解量化位向量。 CoRR公司 abs/1804.05025(2018)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1806-08775
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1806-08775
克拉克·W·巴雷特,哈尼尔·巴博萨,马丁·布莱恩,杜利古尔·伊贝林,蒂姆·金,保罗·孟,艾娜·尼梅茨,安德烈斯·诺兹利,马蒂亚斯·普雷纳,安德鲁·雷诺兹,塞萨尔·蒂内利:
CVC4参加2018年SMT竞赛。 CoRR公司 abs/1806.08775(2018)
2017
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/NiemetzPB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/NiemetzPB17
艾娜·尼梅茨,马蒂亚斯·普雷纳,阿明·比尔:
基于传播的比特精确推理局部搜索。形式化方法系统。设计。 51(三):608-636(2017)
【c8】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/NiemetzPB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/NiemetzPB17
艾娜·尼梅茨,马蒂亚斯·普雷纳,阿明·比尔:
SMT求解器的基于模型的API测试。表面贴装技术 2017:3-14
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PreinerNB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PreinerNB17
马蒂亚斯·普雷纳,艾娜·尼梅茨,阿明·比尔:
反例——指导模型合成。 TACAS（1） 2017:264-280
2016
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NiemetzPB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NiemetzPB16
艾娜·尼梅茨,马蒂亚斯·普雷纳,阿明·比尔:
满意模理论的精确完全传播局部搜索。 CAV（1） 2016:199-217
2015
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/PreinerNB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PreinerNB15
马蒂亚斯·普雷纳,艾娜·尼梅茨,阿明·比尔:
使用Lambda提取得到更好的引理。 FMCAD公司 2015:128-135
2014
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/NiemetzPB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/NiemetzPB14
艾娜·尼梅茨,马蒂亚斯·普雷纳,阿明·比尔:
Boolector 2.0。 J.满意。布尔模型。计算。 9(1):53-58(2014)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/NiemetzPB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NiemetzPB14
艾娜·尼梅茨,马蒂亚斯·普雷纳,阿明·比尔:
涡轮充电引理随需应变，不在乎推理。 FMCAD公司 2014:179-186
2013
【c3】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/PreinerNB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PreinerNB13
马蒂亚斯·普雷纳,艾娜·尼梅茨,阿明·比尔:
Lambdas的需求引理。 FMCAD的差异 2013
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AignerBKNP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AignerBKNP13
艾格纳,阿明·比尔,克里斯托夫·基尔希,艾娜·尼梅茨,马蒂亚斯·普雷纳:
当前多核体系结构的组合式并行SAT求解分析。 POS@SAT 2013:28-40
2012
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NiemetzPLSB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NiemetzPLSB12
艾娜·尼梅茨,马蒂亚斯·普雷纳,弗洛里安·朗辛,马蒂娜·塞德尔,阿明·比尔:
QBF-（工具演示）的基于分辨率的证书提取。坐 2012:430-435

合著者索引

请参阅常见问题解答

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。