@inproceedings{13606,
  author       = {{Platzner, Marco and De Micheli, Giovanni}},
  booktitle    = {{Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) }},
  isbn         = {{9783540649489}},
  issn         = {{0302-9743}},
  pages        = {{69--78}},
  publisher    = {{Springer }},
  title        = {{{Acceleration of satisfiability algorithms by reconfigurable hardware}}},
  doi          = {{10.1007/bfb0055234}},
  year         = {{1998}},
}