@articleHansmeier_Platzner_Pantho_Andrews_2019, title=An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology, volume=91, DOI=10.1007/s11265-018-1435-y, number=11, journal=Journal of Signal Processing Systems, author=Hansmeier, Tim and Platzner, Marco and Pantho, Md Jubaer Hossain and Andrews, David, year=2019, pages=1259–1272