Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm
From MaRDI portal
Publication:5126050
DOI10.1109/TC.2020.2971466OpenAlexW3004638901MaRDI QIDQ5126050
Lingli Wang, Xuegong Zhou, Alan Mishchenko
Publication date: 2 October 2020
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.2020.2971466
This page was built for publication: Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm