New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang, Mingyu Xiao arxiv.org/abs/2605.14093 [𝚌𝚜.𝙳𝚂]
