TY  - RPRT
TI  - Reducing SAT to Max2XOR
AU  - Carlos Ansótegui
AU  - Jordi Levy
PY  - 2022
UR  - https://arxiv.org/abs/2204.01774
ID  - 2204.01774
ER  -