1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences
Zhenchao Sun, Chongyang Tao, Ping Lu +3
Learning-based approaches have increasingly been explored for SAT solving, with particular attention to improving branching decisions in conflict-driven clause learning (CDCL) solv…
cs.AI2025★ 1 cited
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…