Timeline for For 3CNF unsatisfiable boolean formulas, does it take exponential time to transform them into disjunctive form？
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 11, 2021 at 15:50 | history | answered | Caleb Stanford | CC BY-SA 4.0 |