@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
}

{"_id":"E7Faqfpgk3GrpfhRz","bibbaseid":"yu-su-yasin-ciesielski-spectralapproachtoverifyingnonlineararithmeticcircuits-2019","authorIDs":[],"author_short":["Yu, C.","Su, T.","Yasin, A.","Ciesielski, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-01-20T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Yu"],"firstnames":["Cunxi"],"suffixes":[]},{"propositions":[],"lastnames":["Su"],"firstnames":["Tiankai"],"suffixes":[]},{"propositions":[],"lastnames":["Yasin"],"firstnames":["Atif"],"suffixes":[]},{"propositions":[],"lastnames":["Ciesielski"],"firstnames":["Maciej","J."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/280566b2a8e21557a5fe747b6df75d729/dblp","booktitle":"ASP-DAC","crossref":"conf/aspdac/2019","editor":[{"propositions":[],"lastnames":["Shibuya"],"firstnames":["Toshiyuki"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/aspdac/YuSYC19,\n added-at = {2019-01-20T00:00:00.000+0100},\n author = {Yu, Cunxi and Su, Tiankai and Yasin, Atif and Ciesielski, Maciej J.},\n biburl = {https://www.bibsonomy.org/bibtex/280566b2a8e21557a5fe747b6df75d729/dblp},\n booktitle = {ASP-DAC},\n crossref = {conf/aspdac/2019},\n editor = {Shibuya, Toshiyuki},\n ee = {https://doi.org/10.1145/3287624.3287662},\n interhash = {aac9daf89806345d1dc5eecea7032b87},\n intrahash = {80566b2a8e21557a5fe747b6df75d729},\n isbn = {978-1-4503-6007-4},\n keywords = {dblp},\n pages = {261-267},\n publisher = {ACM},\n timestamp = {2019-01-22T11:38:45.000+0100},\n title = {Spectral approach to verifying non-linear arithmetic circuits.},\n url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2019.html#YuSYC19},\n year = 2019\n}\n\n","author_short":["Yu, C.","Su, T.","Yasin, A.","Ciesielski, M. J."],"editor_short":["Shibuya, T."],"key":"conf/aspdac/YuSYC19","id":"conf/aspdac/YuSYC19","bibbaseid":"yu-su-yasin-ciesielski-spectralapproachtoverifyingnonlineararithmeticcircuits-2019","role":"author","urls":{"Link":"https://doi.org/10.1145/3287624.3287662","Paper":"http://dblp.uni-trier.de/db/conf/aspdac/aspdac2019.html#YuSYC19"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Cunxi Yu?items=1000","creationDate":"2019-05-23T19:58:10.187Z","downloads":0,"keywords":["dblp"],"search_terms":["spectral","approach","verifying","non","linear","arithmetic","circuits","yu","su","yasin","ciesielski"],"title":"Spectral approach to verifying non-linear arithmetic circuits.","year":2019,"dataSources":["ZYA5dqbpDhEz3LWCq"]}