BEST PAPER AWARD
The IJCAR 2020 Best Paper Award was shared by two papers:
- Politeness for The Theory of Algebraic Datatypes
by Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine and Clark Barrett
- The Resolution of Keller’s Conjecture
by Joshua Brakensiek, Marijn Heule, John Mackey and David Narvaez.