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.
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
{"_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"]}