New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions.

Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang, Mingyu Xiao

Browse the full SAT paper archive.