2 citations · 2 across the 1 of their papers we have counts for
1 paper
Janosch Döcker
We show that Monotone 3-Sat remains NP-complete if (i) each clause contains exactly three distinct variables, (ii) each clause is unique, i.e., there are no duplicates of the same…