Sea una fórmula 2CNF yk un número entero no negativo. En este documento se demuestra que el problema de decidir si uno puede eliminar a lo sumo k cláusulas para hacer φ satisfactorio, es manejable con parámetros fijos, donde k es el parámetro. Mi pregunta es si hay algún trabajo que generalice este resultado a otro CSP booleano binario. (Es decir, para decidir si uno puede eliminar a lo sumo k restricciones para hacer que alguna instancia de CSP sea satisfactoria, parametrizada por k ) ¿O algún resultado negativo?