@STRING{aspdac	= {ASP Design Automation Conf.} }
@inproceedings{SGCD:2016,
  author    = {Mathias Soeken and Daniel Gro{\ss}e and Arun Chandrasekharan and Rolf Drechsler},
  title     = {{BDD} Minimization for Approximate Computing},
  booktitle = aspdac,
  pages     = {474--479},
  year      = {2016}
}