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

Andreas Darmann, Janosch Döcker, Britta Dorn

We show that Not-All-Equal 3-Sat remains NP-complete when restricted to instances that simultaneously satisfy the following properties: (i) The clauses are given as the disjoint un…