Sanjay Jain 0001, Junqiang Peng 0001, Frank Stephan 0001, Haoyun Tang, Mingyu Xiao 0001. New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions. In Alexey Ignatiev, Stefan Szeider, editors, 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026. Volume 377 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.