Encyclopedia > O > One-in-three 3SAT
One-in-three 3SAT
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).
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)