Tim Hansmeier, Marco Platzner and David Andrews won the best paper award at the International Symposium on Applied Reconfigurable Computing 2018 for their paper „An FPGA/HMC-Based Accelerator for Resolution Proof Checking“. This paper originated from Tim Hansmeier’s Bachelor thesis project that was carried out as cooperation between Paderborn University and the University of Arkansas at Fayetteville, USA. The paper discusses an FPGA design leveraging cutting-edge Hybrid Memory Cube technology for accelerating a challenging task in the domain of verification. Tim Hansmeier presented this work at ARC 2018 held in Santorini, Greece, May 2-4.
