Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs
DGX agentarXiv:2605.04819v1 Announce Type: new Abstract: Graph neural networks have been widely used in Boolean satisfiability (SAT) tasks to learn structural information from SAT formulas. The goal of these s