TY  - RPRT
TI  - Satisfiability threshold for random regular NAE-SAT
AU  - Jian Ding
AU  - Allan Sly
AU  - Nike Sun
PY  - 2013
UR  - https://arxiv.org/abs/1310.4784
ID  - 1310.4784
ER  -