%0 Conference Paper %1 conf/iccad/HsuWHK20 %A Hsu, Chih-Jen %A Wu, Chi-An %A Huang, Ching-Yi %A Khoo, Kei-Yong %B ICCAD %D 2020 %I IEEE %K dblp %P 68:1-68:4 %T ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2020.html#HsuWHK20

@inproceedings{conf/iccad/HsuWHK20, added-at = {2021-01-18T00:00:00.000+0100}, author = {Hsu, Chih-Jen and Wu, Chi-An and Huang, Ching-Yi and Khoo, Kei-Yong}, biburl = {https://www.bibsonomy.org/bibtex/22451f182e0e3f92302a59917e3c04285/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2020}, ee = {https://ieeexplore.ieee.org/document/9256476}, interhash = {1717ed1292020f01e708e13c21757e1e}, intrahash = {2451f182e0e3f92302a59917e3c04285}, keywords = {dblp}, pages = {68:1-68:4}, publisher = {IEEE}, timestamp = {2024-04-09T19:27:02.000+0200}, title = {ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2020.html#HsuWHK20}, year = 2020 }