TY  - RPRT
TI  - The Curse and Blessing of Not-All-Equal in k-Satisfiability
AU  - S. Cliff Liu
PY  - 2019
UR  - https://arxiv.org/abs/1809.04312
ID  - 1809.04312
ER  -