@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@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 = glsvlsi,
  pages     = {479--482},
  year      = {2018},
}