★ 1
研究者用图神经网络实现大函数 NPN 分类
一篇 arXiv 论文提出首个基于学习的 NPN 分类方法，将布尔函数的 NPN 等价判定转化为「NPN 动作预测」问题。方法把布尔函数表示为 AND-Inverter Graph，并用双向异构图神经网络预测输入取反、输出取反与输入置换，同时引入图重写降低逻辑网络的结构歧义。实验显示该方法在可处理…
arXiv cs.AI10 小时前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
一篇 arXiv 论文提出首个基于学习的 NPN 分类方法，将布尔函数的 NPN 等价判定转化为「NPN 动作预测」问题。方法把布尔函数表示为 AND-Inverter Graph，并用双向异构图神经网络预测输入取反、输出取反与输入置换，同时引入图重写降低逻辑网络的结构歧义。实验显示该方法在可处理…