works on
causal inference 1time-aware deep learning 1transportation energy management 1trolleybus energy prediction 1weather impact 1

From the 1 of 8 linked papers with an AI index.

collaborators
Showing cs.LGShow all

1 paper · 1 filter

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…