肿瘤坏死因子/INF（信息）
FMV（飞行管理车辆）
团队 接触 软件 出版物 教学 工作
最佳海报和互动奖 Sibylle Möhle，Armin Biere。 结合冲突驱动子句学习和时序回溯命题模型计数.程序中。第五国际人工智能全球大会情报（GCAI’19）,EPiC计算机系列，14页，2019年EasyChair，即将出版。 [预印本|奖]
