1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise

Open Webpage

Lorenzo Ciardo, Marcin Kozik, Andrei A. Krokhin, Tamio-Vesa Nakajima, Stanislav Zivný

Published: 01 Jan 2024, Last Modified: 19 Mar 2025LICS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0