@entry{kin-nic-10-aa,
  author = {AB Kinsman and N Nicolici},
  title = {Bit-width allocation for hardware accelerators for scientific computing using SAT-modulo theory},
  journal = {IEEE Transactions on Computer-Aided ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5419231/?casa_token=W8feAw1je_0AAAAA:89gqvYO0xoy7JVKU2tjPP2gDFxMWGLCOizq5NBErni9Z7STuD6tPeYu4O3uq9ZrkZc8W-sr9}}},
  quotes = {... ranges obtained from simulation, affine arithmetic and the ... denominator contains zero,}
}