出版物Aina Niemetz

2017

Aina Niemetz、Mathias Preiner、Armin Biere。传播基于局部搜索的比特精确推理.在的期刊中中的形式方法系统设计,第51卷(3),第608-636页,施普林格2017
[纸张|预印本|围巾|实验]

Aina Niemetz、Mathias Preiner、Armin Biere。基于模型SMT解决方案的API测试.进行中。第15届国际研讨会可满足性模理论(SMT’17),10页,aff。至CAV’17,德国海德堡,2017年。
[纸张|围巾|隆胸器]

Aina Niemetz、Mathias Preiner、Armin Biere。Boolector参加2017年SMT竞赛.技术报告17/12017年6月,FMV(飞行管理车辆)报告系列,研究所形式化模型和验证,约翰开普勒大学,阿尔滕贝格斯特。奥地利林茨694040号。
[报告|围巾|隆胸器]

艾娜·尼梅茨。位精度超越喷砂的推理.论文技术林茨约翰内斯·开普勒大学Informatik Wissenschaften,2017
[论文|围巾]

Mathias Preiner、Aina Niemetz、Armin Biere。反例-指导模型综合.英寸程序。第23届国际会议。上的用于系统构建和分析的工具和算法(TACAS’17),讲座计算机科学笔记(LNCS)第10205卷,页码264-280,施普林格2017。
[纸张|围巾|数据|隆胸器]

2016

Aina Niemetz、Mathias Preiner、Armin Biere。精确和基于完全传播的局部可满足性搜索模理论.英寸程序。第28届国际会议。上的计算机辅助验证(CAV’16),计算机讲义科学(LNCS)第9779卷,第199-217页,施普林格出版社2016
[纸张|围巾|数据|隆胸器]

Aina Niemetz、Mathias Preiner、Armin Biere。Boolector参加2016年SMT竞赛.技术报告16/12016年6月,FMV(飞行管理车辆)报告系列,研究所形式化模型和验证,约翰开普勒大学,阿尔滕贝格斯特。奥地利林茨694040号。
[报告|围巾|扬声器]

2015

Mathias Preiner、Aina Niemetz、Armin Biere。更好Lambda提取引理.英寸程序。第十五国际协调。计算机辅助设计中的形式化方法(FMCAD’15),第128-135页,FMCAD Inc.2015。
[纸张|围巾|隆胸器]

Aina Niemetz、Mathias Preiner、Armin Biere、Andreas Fröhlich。利用路径改进SMT中位向量逻辑的局部搜索传播.英寸程序。第四国际工作形式化工具和系统的设计与实现(DIFTS’15),10页,aff。至美国德克萨斯州奥斯汀市FMCAD’15,2015.
[纸张|围巾|数据|隆胸器]

Aina Niemetz、Mathias Preiner、Armin Biere。转向器2.可满足性、布尔建模和计算(JSAT)2015年第9卷,第53-58页。
[纸张|围巾|隆胸器]

Aina Niemetz、Mathias Preiner、Armin Biere。Boolector参加2015年SMT竞赛.技术报告15/12015年6月,FMV(飞行管理车辆)报告系列,研究所形式化模型和验证,约翰开普勒大学,阿尔滕贝格斯特。奥地利林茨694040号。
[报告|围巾|扬声器]

2014

Aina Niemetz、Mathias Preiner、Armin Biere。涡轮增压带Don't Care推理的按需引理程序。第14届国际会议。关于中的形式方法计算机辅助设计(FMCAD’14),179-186,FMCAD公司,2014年。
[纸张|围巾|数据|隆胸器]

Aina Niemetz、Mathias Preiner、Armin Biere。2014年SMT竞赛中的Boolector.技术报告14/12014年6月,FMV(飞行管理车辆)报告系列,研究所形式化模型和验证,约翰开普勒大学,阿尔滕贝格斯特。奥地利林茨694040号。
[报告|围巾|隆胸器]

2013

Mathias Preiner、Aina Niemetz、Armin Biere。引理Lambdas的需求.英寸程序。第2个设计和实现形式化工具的国际工作和系统,10页,aff。至俄勒冈州波特兰市FMCAD’13,美国,2013年。
[纸张|围巾|数据|隆胸器]

阿明·比尔·艾娜·尼梅茨。ddSMT:增量SMT-LIB v2格式调试器.英寸程序。第11届国际研讨会可满足性模理论(SMT’13),第36-45页,aff。2013年芬兰赫尔辛基SAT’13。
[纸张|围巾|ddsmt公司]

马丁·艾格纳(Martin Aigner)、阿明·比尔(Armin Biere)、克里斯托夫·基尔希(Christoph M.Kirsch)、艾娜·尼梅茨(Aina Niemetz)、,马蒂亚斯·普雷纳。基于电流的组合式并行SAT求解分析多核心体系结构.英寸程序。国际研讨会SAT的语用学(POS'13),aff。芬兰赫尔辛基SAT'13,2013

2012

Aina Niemetz、Mathias Preiner、Florian Lonsing、Martina Seidl、,阿明·比尔。QBF的基于分辨率的证书提取(工具演示文稿).英寸程序。第15届国际会议。上的可满足性测试(SAT’12)的理论与应用,课堂讲稿计算机科学(LNCS)第7317卷,第430-435页,施普林格出版社2012
[纸张|围巾|qb证书]

艾娜·尼梅茨,正在提取和从最新状态检查Q-分辨率证明QBF-解决方案林茨约翰内斯·开普勒大学硕士论文,奥地利,2012年5月。