An FPGA/HMC-Based Accelerator for Resolution Proof Checking
Crossref DOI link: https://doi.org/10.1007/978-3-319-78890-6_13
Published Online: 2018-04-08
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hansmeier, Tim http://orcid.org/0000-0003-1377-3339
Platzner, Marco http://orcid.org/0000-0002-6893-063X
Andrews, David http://orcid.org/0000-0003-1464-7107
License valid from 2018-01-01