TY  - RPRT
TI  - New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions
AU  - Sanjay Jain
AU  - Junqiang Peng
AU  - Frank Stephan
AU  - Haoyun Tang
AU  - Mingyu Xiao
PY  - 2026
UR  - https://arxiv.org/abs/2605.14093
ID  - 2605.14093
ER  -