The Best paper award conferred to:
For their paper entitled:
"A verified SAT solver framework with learn, forget, restart, and incrementality"
which formalizes a modern SAT solver via a chain of refinements in a proof
assistant,
contributing to the program of formalizing highly-technical research in
the field of automated reasoning using tools developed in this field.