Spectral approach to verifying non-linear arithmetic circuits. Yu, C., Su, T., Yasin, A., & Ciesielski, M. J. In ASP-DAC, pages 261-267, 2019. ACM.
Spectral approach to verifying non-linear arithmetic circuits. [link]Link  Spectral approach to verifying non-linear arithmetic circuits. [link]Paper  bibtex   
@inproceedings{conf/aspdac/YuSYC19,
  added-at = {2019-01-20T00:00:00.000+0100},
  author = {Yu, Cunxi and Su, Tiankai and Yasin, Atif and Ciesielski, Maciej J.},
  biburl = {https://www.bibsonomy.org/bibtex/280566b2a8e21557a5fe747b6df75d729/dblp},
  booktitle = {ASP-DAC},
  crossref = {conf/aspdac/2019},
  editor = {Shibuya, Toshiyuki},
  ee = {https://doi.org/10.1145/3287624.3287662},
  interhash = {aac9daf89806345d1dc5eecea7032b87},
  intrahash = {80566b2a8e21557a5fe747b6df75d729},
  isbn = {978-1-4503-6007-4},
  keywords = {dblp},
  pages = {261-267},
  publisher = {ACM},
  timestamp = {2019-01-22T11:38:45.000+0100},
  title = {Spectral approach to verifying non-linear arithmetic circuits.},
  url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2019.html#YuSYC19},
  year = 2019
}

Downloads: 0