%0 Journal Article %1 journals/access/ZhangGYZL22 %A Zhang, Juling %A Guo, Wenqiang %A Yang, Guowu %A Zhu, Yixin %A Lv, Xiaoyi %D 2022 %J IEEE Access %K dblp %P 120369-120382 %T A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition. %U http://dblp.uni-trier.de/db/journals/access/access10.html#ZhangGYZL22 %V 10

@article{journals/access/ZhangGYZL22, added-at = {2023-12-22T00:00:00.000+0100}, author = {Zhang, Juling and Guo, Wenqiang and Yang, Guowu and Zhu, Yixin and Lv, Xiaoyi}, biburl = {https://www.bibsonomy.org/bibtex/2f2b65922906adcc32402890d4e5030df/dblp}, ee = {https://doi.org/10.1109/ACCESS.2022.3221764}, interhash = {340dd73c6e134bb6feba7d3279a95a9e}, intrahash = {f2b65922906adcc32402890d4e5030df}, journal = {IEEE Access}, keywords = {dblp}, pages = {120369-120382}, timestamp = {2024-04-08T13:42:24.000+0200}, title = {A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition.}, url = {http://dblp.uni-trier.de/db/journals/access/access10.html#ZhangGYZL22}, volume = 10, year = 2022 }