2019 IJCAI-JAIR Prize Awarded

We congratulate Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl and Armin Biere who have been awarded the 2019 IJCAI-JAIR prize for their paper "Clause Elimination for SAT and QSAT", which appeared in Volume 53 (2015).

As noted in the award 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.

Comments Welcome on our New Site

After years of behnd-the-scenes work, we are happy to release our new upgraded site. We hope you like it, and comments are welcomed (especially constructive comments). Please send any comments to editors@jair.org.  We especially thank Scott Sanner, Sriraam Natarajan, Kane See and James MacGregor for their many hours of work on this project.

Please Support JAIR 

AI Access Foundation manages JAIR largely through the efforts of volunteers throughout the world. However, we occasionally have some small, but important, operating and infrastructure costs. Please support us by making a donation. All donations are appreciated, no matter how small, and they are tax dedectable.

And on this topic, we also want to thank David Smith for his financial contributions to the organization, as well as IJCAIInferLink Corporation and the University of Michigan for their ongoing support for JAIR's infrastructure. These gifts make it possible for JAIR to continue operating a freely-available journal.