@misc{indiciae0310180216b7, title = {XORSAT: An Efficient Algorithm for the DIMACS 32-bit Parity Problem}, author = {Jing-Chao Chen}, year = {2007}, url = {https://arxiv.org/abs/cs/0703006}, note = {Source identifier: cs/0703006} }