|
[ 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提取引理.英寸程序。第15次国际协调。计算机辅助设计中的形式化方法（FMCAD’15），第128-135页，FMCAD Inc.2015。
[纸张|围巾|隆胸器]
Aina Niemetz、Mathias Preiner、Armin Biere、Andreas Fröhlich。利用路径改进SMT中位向量逻辑的局部搜索传播.英寸程序。第4次国际工作形式化工具和系统的设计与实现（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。Boolector参加2014年SMT竞赛.技术报告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月。
|
