Novel message passing network for neural Boolean satisfiability problem solver
Yonghao LIANG, Jinlong LI
Journal of Computer Applications . 2025, (9): 2934 -2940 .  DOI: 10.11772/j.issn.1001-9081.2024091362