Graph neural networks (GNNs) have shown promising performance in solving both Boolean satisfiability (SAT) and maximum satisfiability (MaxSAT) problems due to their ability to efficiently model and capture the structural dependencies between literals and claus... ...

请注册登录后继续浏览