TY  - RPRT
TI  - HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
AU  - Qiyue Chen
AU  - Shaolin Tan
AU  - Suixiang Gao
AU  - Jinhu Lü
PY  - 2025
UR  - https://arxiv.org/abs/2504.11885
ID  - 2504.11885
ER  -