2 papers
cs.LG2026
Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs
Zhenchao Sun, Shuai Ma, Ping Lu +1
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 insta…
cs.AI2025
Improving Subgraph Matching by Combining Algorithms and Graph Neural Networks
Shuyang Guo, Wenjin Xie, Ping Lu +5
Homomorphism is a key mapping technique between graphs that preserves their structure. Given a graph and a pattern, the subgraph homomorphism problem involves finding a mapping fro…