Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs
arXiv: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 studies is to solve SAT instances or to enhance SAT …