GSC ● Reduction from 1in3 SAT on positive clauses – The jth block of 2N clauses will ensure jth clause – Even numbered CSP vars represent truth assignment – Odd numbered CSP vars junk to ensure N odd values in each block – X_2jN+2i odd iff xi true – AMONG SEQ([X1,…],N,N,2N,{1,3,..}) ● This ensures truth assignment repeated along variables!
{}