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这两个关键问题。

IJCAI-JAIR 2019年获奖证书