TY  - RPRT
TI  - Extending CDCL to disjunctions of parity equations
AU  - Paul Beame
AU  - Glenn Sun
PY  - 2026
UR  - https://arxiv.org/abs/2605.15002
ID  - 2605.15002
ER  -