3 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
S. Cliff Liu
As a natural variant of the k-SAT problem, NAE-k-SAT additionally requires the literals in each clause to take not-all-equal (NAE) truth values. In this paper, we study the wor…