The Number of Solutions for Random Regular NAE-SAT

Allan Sly, Nike Sun, Yumeng Zhang. The Number of Solutions for Random Regular NAE-SAT. In Irit Dinur, editor, IEEE 57th Annual Symposium on Foundations of Computer Science, FOCS 2016, 9-11 October 2016, Hyatt Regency, New Brunswick, New Jersey, USA. pages 724-731, IEEE, 2016. [doi]

Abstract

Abstract is missing.