TNF公司/INF(信息)
团队
接触
软件
出版物
教学
工作
|
2019年1月IJCAI奖
在规模最大、最负盛名的人工智能会议之一IJCAI’19,2019年版国际会议人工智能(IJCAI)发生在澳门2019年8月,我们在中国收到了IJCAI-JAIR奖为我们的文章2015年出版的《高影响力》人工智能研究杂志(日航):
2019年1月IJCAI奖
Marijn鞋跟,马蒂·贾维萨洛,弗洛里安·朗辛,马蒂娜·塞德尔,阿明·比尔.
SAT和QSAT的条款删除.
人工智能杂志研究(JAIR). 第53卷,第127-168页,2015年。 [链接|预印本|bibtex公司|玲玲|布洛克人|奖]
引用奖励页面:
年度IJCAI-JAIR最佳论文奖授予前五年在JAIR上发表的杰出论文年。奖项委员会由副编辑和JAIR咨询委员会成员;他们的决定是基于两者论文的意义和演示的质量。
引用:本文介绍了基本原理和一系列条款消除程序的实际结果SAT和QBF的预处理和简化技术解算器。自出版以来,其中描述的技术已经证明对最先进的SAT和QBF解决方案。作品优雅完美地扩展了一些公认的理论概念。在此外,本文对预处理和进程内技术-一种超越作者涵盖了SAT和QBF这两个关键问题。
|