---
_id: '13606'
author:
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Giovanni
  full_name: De Micheli, Giovanni
  last_name: De Micheli
citation:
  ama: 'Platzner M, De Micheli G. Acceleration of satisfiability algorithms by reconfigurable
    hardware. In: <i>Proceedings of the 8th International Workshop on Field Programmable
    Logic and Applications (FPL) </i>. LNCS. Berlin, Heidelberg: Springer ; 1998:69-78.
    doi:<a href="https://doi.org/10.1007/bfb0055234">10.1007/bfb0055234</a>'
  apa: 'Platzner, M., &#38; De Micheli, G. (1998). Acceleration of satisfiability
    algorithms by reconfigurable hardware. In <i>Proceedings of the 8th International
    Workshop on Field Programmable Logic and Applications (FPL) </i> (pp. 69–78).
    Berlin, Heidelberg: Springer . <a href="https://doi.org/10.1007/bfb0055234">https://doi.org/10.1007/bfb0055234</a>'
  bibtex: '@inproceedings{Platzner_De Micheli_1998, place={Berlin, Heidelberg}, series={LNCS},
    title={Acceleration of satisfiability algorithms by reconfigurable hardware},
    DOI={<a href="https://doi.org/10.1007/bfb0055234">10.1007/bfb0055234</a>}, booktitle={Proceedings
    of the 8th International Workshop on Field Programmable Logic and Applications
    (FPL) }, publisher={Springer }, author={Platzner, Marco and De Micheli, Giovanni},
    year={1998}, pages={69–78}, collection={LNCS} }'
  chicago: 'Platzner, Marco, and Giovanni De Micheli. “Acceleration of Satisfiability
    Algorithms by Reconfigurable Hardware.” In <i>Proceedings of the 8th International
    Workshop on Field Programmable Logic and Applications (FPL) </i>, 69–78. LNCS.
    Berlin, Heidelberg: Springer , 1998. <a href="https://doi.org/10.1007/bfb0055234">https://doi.org/10.1007/bfb0055234</a>.'
  ieee: M. Platzner and G. De Micheli, “Acceleration of satisfiability algorithms
    by reconfigurable hardware,” in <i>Proceedings of the 8th International Workshop
    on Field Programmable Logic and Applications (FPL) </i>, 1998, pp. 69–78.
  mla: Platzner, Marco, and Giovanni De Micheli. “Acceleration of Satisfiability Algorithms
    by Reconfigurable Hardware.” <i>Proceedings of the 8th International Workshop
    on Field Programmable Logic and Applications (FPL) </i>, Springer , 1998, pp.
    69–78, doi:<a href="https://doi.org/10.1007/bfb0055234">10.1007/bfb0055234</a>.
  short: 'M. Platzner, G. De Micheli, in: Proceedings of the 8th International Workshop
    on Field Programmable Logic and Applications (FPL) , Springer , Berlin, Heidelberg,
    1998, pp. 69–78.'
date_created: 2019-10-04T20:46:34Z
date_updated: 2022-01-06T06:51:40Z
department:
- _id: '78'
doi: 10.1007/bfb0055234
extern: '1'
language:
- iso: eng
page: 69-78
place: Berlin, Heidelberg
publication: 'Proceedings of the 8th International Workshop on Field Programmable
  Logic and Applications (FPL) '
publication_identifier:
  isbn:
  - '9783540649489'
  - '9783540680666'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: 'Springer '
series_title: LNCS
status: public
title: Acceleration of satisfiability algorithms by reconfigurable hardware
type: conference
user_id: '398'
year: '1998'
...