team
contact
software
publications
teaching
jobs
IJCAI-JAIR 2019 Award
At one of the largest and most prestigious AI conferences IJCAI'19, the 2019 edition of the International Conference in Artificial Intelligence (IJCAI), which took place in Macao in China in August 2019, we received the IJCAI-JAIR Award for our article published in 2015 in the high impact Journal of Artificial Intelligence Research (JAIR):
IJCAI-JAIR 2019 Award
Marijn Heule, Matti Järvisalo,
Florian Lonsing,
Martina Seidl, Armin Biere.
Clause Elimination for SAT and QSAT.
Journal of Artificial Intelligence
Research (JAIR).
vol. 53, pages 127-168, 2015.
[ link |
preprint |
bibtex | lingeling |
bloqqer | award ]
Quoting from the award page:
The Annual IJCAI-JAIR Best Paper Prize is awarded to an outstanding paper published in JAIR in the preceding five calendar years. The prize committee is comprised of associate editors and members of the JAIR Advisory Board; their decision is based on both the significance of the paper and the quality of presentation.
Citation: This paper describes fundamental and practical results on a range of clause elimination procedures as preprocessing and simplification techniques for SAT and QBF solvers. Since its publication, the techniques described therein have been demonstrated to have profound impact on the efficiency of state-of-the-art SAT and QBF solvers. The work is elegant and extends beautifully some well-established theoretical concepts. In addition, the paper gives new emphasis and impulse to pre- and in-processing techniques - an emphasis that resonates beyond the two key problems, SAT and QBF, covered by the authors.
