arXiv Machine Learning

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

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.