TY - RPRT TI - The number of solutions for random regular NAE-SAT AU - Allan Sly AU - Nike Sun AU - Yumeng Zhang PY - 2023 UR - https://arxiv.org/abs/1604.08546 ID - 1604.08546 ER -