Talk:One-in-three 3SAT

From Wikipedia, the free encyclopedia

The definition given in this article is: One-in-three 3SAT is a variant of 3SAT where the input instance is the same, but the question is to determine whether there exists a satisfying assignment so that exactly one literal in each clause is set to 1 (instead of at least one literal, as in ordinary 3-SAT).

So One-in-three 3SAT is the same as 3-XOR-SAT? (At least it sounds to me as if it is.) --Fuenfundachtzig 10:57, 24 January 2007 (UTC)

No, I found a difference. For a clause in 3-XOR-SAT (a XOR b XOR c) a=b=c=true is a solution which is not valid for One-in-three 3SAT. --Fuenfundachtzig 18:20, 24 January 2007 (UTC)