Sun, Z., Ma, S., Lu, P., & Tao, C. (2026). Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs.
Chicago Style (17th ed.) CitationSun, Zhenchao, Shuai Ma, Ping Lu, and Chongyang Tao. Unsat Core Prediction Through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs. 2026.
MLA (9th ed.) CitationSun, Zhenchao, et al. Unsat Core Prediction Through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs. 2026.
Warning: These citations may not always be 100% accurate.