@entry{pan-rad-11-aa-satrang,
  author = {Y Pang and K Radecka},
  title = {An efficient algorithm of performing range analysis for fixed-point arithmetic circuits based on SAT checking},
  journal = {2011 IEEE International Symposium of ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2011,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5937918/?casa_token=vL2-rg1B3RIAAAAA:JVcIPpDe4RbvZQB2zDirozXJBiLZEsIaZ0db2VHUOk8gsmqCVJDTlfHcXxeNZ6swXzY1JpUf}}},
  quotes = {... The main disadvantages of past methods, such as dynamic analysis or affine arithmetic, lie in ... The affine arithmetic model (AA) is a derivation of IA, in which the quantities of interest are ...}
}