SAT-Lancer: A Hardware SAT-Solver for Self-Verification (bibtex)

by Buse Ustaoglu, Sebastian Huhn, Daniel Große and Rolf Drechsler

Reference:

Buse Ustaoglu, Sebastian Huhn, Daniel Große and Rolf Drechsler, "SAT-Lancer: A Hardware SAT-Solver for Self-Verification", In ACM Great Lakes Symposium on VLSI, pp. 479–482, 2018.

Bibtex Entry:

@inproceedings{UHGD:2018,
  author    = {Buse Ustaoglu and Sebastian Huhn and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {{SAT-Lancer:} A Hardware {SAT}-Solver for Self-Verification},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  pages     = {479--482},
  year      = {2018},
  keywords={easecrc_cognitive_arch_systems}
}