Tim Hansmeier, Marco Platzner, Md Jubaer Hossain Pantho, and David Andrews got their journal paper “An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology“ accepted for publication in the Springer Journal of Signal Processing Systems. This journal paper is an extension and follow-up of a paper presented at the International Symposium on Applied Reconfigurable Computing 2018 and resulted from our continued collaboration with colleagues at the University of Arkansas at Fayetteville, USA.
