伊库

TNF公司/INF（信息）

团队
接触
软件
出版物
教学
工作


2020年GI发行奖

FMCAD’20学生论坛最佳学生贡献

SAT’20最佳演讲奖

GCAI’19发布与互动奖

2019年1月IJCAI奖

SAT’19最佳学生论文

CAV’18奖

HVC’17最佳论文

ETAPS’17时间测试奖

HVC’15奖

FMCAD’17最佳论文

CADE’17最佳论文

BMC公司

可满足性手册

UML@教室

UML@教室

网址：www.digitaltechnik.org

CAV 2016人工制品评估

基于精确和完全传播满意模理论的局部搜索

Aina Niemetz、Mathias Preiner和Armin比雷

概述

这个网站提供了复制我们实验的所有材料对我们的论文“基于精确和完全传播”的评价2016年CAV“满意度模理论的本地搜索”。

您不允许使用其他提供的任何材料。

下载