Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm

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

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm