xsat (297B)
1 # XSAT 2 3 A [Boolean_satisfiability_problem] formed as a [conjunction] of [clauses], in each clause precisely one [literal] must be true 4 5 Also called "1-in-3-SAT" in the case of [3SAT] 6 7 Relevant: https://cstheory.stackexchange.com/q/32208 8 9 Up: [sat_variants] 10 11 See also: [exact_cover], [hitting_set]