Efficient NPN Classification for Large Functions using Graph Neural Network

Chengdi Cao, Hanyu Wang, Wan-Hsuan Lin +1

Two Boolean functions are considered NPN equivalent if one can be transformed into the other by negating inputs, permuting inputs, or negating the output. Efficient NPN classificat…