3
2-SAT con relazioni XOR NP-complete?
Mi chiedo se esiste un algoritmo polinomiale per "2-SAT con relazioni XOR". Sia 2-SAT che XOR-SAT sono in P, ma è la sua combinazione? Esempio di input: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and …