---
_id: '3580'
author:
- first_name: Tim
  full_name: Hansmeier, Tim
  id: '49992'
  last_name: Hansmeier
  orcid: 0000-0003-1377-3339
citation:
  ama: Hansmeier T. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität
    Paderborn; 2017.
  apa: Hansmeier, T. (2017). <i>An FPGA Accelerator for Checking Resolution Proofs</i>.
    Universität Paderborn.
  bibtex: '@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution
    Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017}
    }'
  chicago: Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>.
    Universität Paderborn, 2017.
  ieee: T. Hansmeier, <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität
    Paderborn, 2017.
  mla: Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>.
    Universität Paderborn, 2017.
  short: T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität
    Paderborn, 2017.
date_created: 2018-07-20T13:44:34Z
date_updated: 2022-01-06T06:59:25Z
department:
- _id: '78'
- _id: '34'
- _id: '7'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
title: An FPGA Accelerator for Checking Resolution Proofs
type: bachelorsthesis
user_id: '3118'
year: '2017'
...