Efficient NPN classification for large functions using graph neural network
Read the original at arxiv.org→arXiv:2611.00339v1 Announce Type: new Abstract: 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...
Original headline: "Efficient NPN Classification for Large Functions using Graph Neural Network"
Coverage timeline
- Nov 3, 05:00 UTC arXiv cs.AI lead source Efficient NPN Classification for Large Functions using Graph Neural Network