TY  - RPRT
TI  - CNF Encodings of Parity
AU  - Gregory Emdin
AU  - Alexander S. Kulikov
AU  - Ivan Mihajlin
AU  - Nikita Slezkin
PY  - 2022
UR  - https://arxiv.org/abs/2203.01082
ID  - 2203.01082
ER  -