@entry{kin-nic-09-aa,
  author = {AB Kinsman and N Nicolici},
  title = {Finite precision bit-width allocation using SAT-modulo theory},
  journal = {2009 Design, Automation & Test in ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5090829/?casa_token=IKPRWdah0xoAAAAA:6S7yrpv2DyZV1nfDEHrEuE-Slb2l39CGVqvIwoUu7nMbtWRAfHzumRzPfGUthZCBwTCye-X8}}},
  quotes = {... Given the inability of simulation based methods to provide robust variable bounds, and the limited accuracy of bounds from affine arithmetic in the presence of strongly non-affine ...}
}