Biarkan menjadi rumus 2CNF dan k bilangan bulat tidak negatif. Hal ini terbukti dalam kertas bahwa masalah memutuskan apakah seseorang dapat menghapus paling k klausul untuk membuat φ satisfable, tetap-parameter penurut, di mana k adalah parameter. Pertanyaan saya adalah apakah ada beberapa pekerjaan yang menggeneralisasi hasil ini ke CSP boolean biner lainnya? (Yaitu, untuk memutuskan apakah seseorang dapat menghapus paling banyak kendala k untuk membuat beberapa contoh CSP memuaskan, parameterkan oleh k ) Atau hasil negatif?