collaborators

1 paper

cs.LG2025

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems

Qiyue Chen, Shaolin Tan, Suixiang Gao +1

Graph neural networks (GNNs) have shown promising performance in solving both Boolean satisfiability (SAT) and Maximum Satisfiability (MaxSAT) problems due to their ability to effi…