notesum.ai

Published at December 4

An even simpler hard variant of Not-All-Equal 3-SAT

cs.CC

Released Date: December 4, 2024

Authors: Andreas Darmann1, Janosch Döcker2, Britta Dorn3

Aff.: 1University of Graz, Austria; 2University of Tübingen, Germany; 3University of Auckland, New Zealand

Arxiv: http://arxiv.org/pdf/2412.03395v1