arXiv 人工智能· Chengdi Cao, Hanyu Wang, Wan-Hsuan Lin, Jason Cong·· 18 小时前AI 评分34
基于图神经网络的高效大函数 NPN 分类
Efficient NPN Classification for Large Functions using Graph Neural Network
AI 导读
研究人员提出首个基于学习的布尔函数 NPN 分类方法，将布尔函数表示为 AIG，并利用双向异构图神经网络预测输入置换以及输入输出的取反动作。该方法结合图重写技术以减少结构模糊性并恢复对称性，规范化质量优于启发式基准。实验表明，该方案在实际基准测试中逼近精确求解方法，并可扩展处理多达 16 个输入的布尔函数。
来源：arXiv 人工智能 · arxiv.org