@misc{indiciaef3563e701da5, title = {An even simpler hard variant of Not-All-Equal 3-SAT}, author = {Andreas Darmann and Janosch Döcker and Britta Dorn}, year = {2024}, url = {https://arxiv.org/abs/2412.03395}, note = {Source identifier: 2412.03395} }