[ 17 |16 |15 |14 |13 |12 ]
出版物Aina Niemetz
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。 [纸张|围巾|数据|隆胸器]
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号。 [报告|围巾|扬声器]
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号。 [报告|围巾|扬声器]
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号。 [报告|围巾|隆胸器]
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
Aina Niemetz、Mathias Preiner、Florian Lonsing、Martina Seidl、,阿明·比尔。QBF的基于分辨率的证书提取(工具演示文稿).英寸程序。第15届国际会议。上的可满足性测试(SAT’12)的理论与应用,课堂讲稿计算机科学(LNCS)第7317卷,第430-435页,施普林格出版社2012 [纸张|围巾|qb证书]
艾娜·尼梅茨,正在提取和从最新状态检查Q-分辨率证明QBF-解决方案林茨约翰内斯·开普勒大学硕士论文,奥地利,2012年5月。
|