Lorenzo Ciardo, Marcin Kozik, Andrei A. Krokhin, Tamio-Vesa Nakajima, Stanislav Zivný. 1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise. In Pawel Sobocinski 0001, Ugo Dal Lago, Javier Esparza, editors, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM, 2024. [doi]
Abstract is missing.