Jian Ding Allan Sly Nike Sun Satisfiability threshold for random regular NAE-SAT. 814-822 2014 STOC https://doi.org/10.1145/2591796.2591862 conf/stoc/2014 db/conf/stoc/stoc2014.html#DingSS14