Preguntas etiquetadas con 2-sat

Me pregunto si hay un algoritmo polinómico para "2-SAT con relaciones XOR". Tanto 2-SAT como XOR-SAT están en P, pero ¿es su combinación? Entrada de ejemplo: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b …

11 np-complete  satisfiability  xor  2-sat