@misc{indiciaefdd71bf7f737, title = {New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions}, author = {Sanjay Jain and Junqiang Peng and Frank Stephan and Haoyun Tang and Mingyu Xiao}, year = {2026}, url = {https://arxiv.org/abs/2605.14093}, note = {Source identifier: 2605.14093} }