3 ms·
near figure 5, shouldn't the clause X1 ∧ ¬X3 ∧ X4 be X1 ∨ ¬X3 ∨ X4?
by dilap 10y ago
near figure 5, shouldn't the clause X1 ∧ ¬X3 ∧ X4 be X1 ∨ ¬X3 ∨ X4?
- garethrees 10y agoYes, that's right. 3SAT uses conjunctive normal form.
loading thread…
3 ms·