@misc{indiciaeb0e29d4b0df1,
  title = {HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems},
  author = {Qiyue Chen and Shaolin Tan and Suixiang Gao and Jinhu Lü},
  year = {2025},
  url = {https://arxiv.org/abs/2504.11885},
  note = {Source identifier: 2504.11885}
}