TY  - RPRT
TI  - Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs
AU  - Zhenchao Sun
AU  - Shuai Ma
AU  - Ping Lu
AU  - Chongyang Tao
PY  - 2026
UR  - https://arxiv.org/abs/2605.04819
ID  - 2605.04819
ER  -