日本理工大学

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

Splatz SAT解算器