An FPGA Accelerator for Checking Resolution Proofs

thesis An FPGA Accelerator for Checking Resolution Proofs Tim Hansmeier author 499920000-0003-1377-3339 Marco Platzner supervisor 78 department 34 department 7 department SFB 901 project SFB 901 - Project Area B project SFB 901 - Subproject B4 project Universität Paderborn2017 eng Hansmeier, Tim. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017. T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017. Hansmeier T. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn; 2017. Hansmeier, T. (2017). An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn. @book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} } Hansmeier, Tim. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017. T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017. 35802018-07-20T13:44:34Z2022-01-06T06:59:25Z