Ich frage mich, ob es einen Polynomalgorithmus für "2-SAT mit XOR-Beziehungen" gibt. Sowohl 2-SAT als auch XOR-SAT sind in P, aber ist seine Kombination? Beispiel Eingabe: 2-SAT-Teil: (a or !b) and (b or c) and (b or d) XOR-Teil: (a xor b xor c xor 1) and (b xor c xor d) Mit anderen Worten, die...