arXiv Machine Learning By Zhenchao Sun, Shuai Ma, Ping Lu, Chongyang Tao

Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs

Read the original on arXiv Machine Learning →

arXiv:2605. 04819v2 Announce Type: replace Abstract: Graph neural networks have been widely used in Boolean satisfiability (SAT) tasks to learn structural information from SAT formulas.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv Machine Learning.