International Joint Conference on Automated Reasoning

Best Paper Award

The Best paper award conferred to:

  • Jasmin Christian Blanchette (Inria, France)
  • Mathias Fleury (MPI, Germany)
  • Christoph Weidenbach (MPI, Germany)

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.