Ciardo, L., Kozik, M., Krokhin, A., Nakajima, T.-V., & Živný, S. (online). 1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise. ACM Transactions on Computational Logic, https://doi.org/10.1145/3719007