@STRING{dsd_euromicro={EUROMICRO Symposium on Digital System Design} }
@InProceedings{UHT+:2019,
  author        = {Buse Ustaoglu and Sebastian Huhn and Frank Sill Torres and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{SAT-Hard}: A Learning-based Hardware {SAT}-Solver},
  booktitle     = dsd_euromicro,
  year		= {2019},
}