用于神经布尔可满足性问题求解器的新型消息传递网络

梁永濠李金龙

Novel message passing network for neural Boolean satisfiability problem solver#br#

#br#

LIANG Yonghao, LI Jinlong

《计算机应用》唯一官方网站 . 0, (): 0 -0 . DOI: 10.11772/j.issn.1001-9081.2024091362