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
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 11, 2021 at 17:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Nov 11, 2021 at 15:50 | answer | added | Caleb Stanford | timeline score: 1 | |
| Nov 11, 2021 at 14:28 | answer | added | Monty Thibault | timeline score: 0 | |
| Nov 11, 2021 at 6:56 | answer | added | D.W.♦ | timeline score: 0 | |
| S Nov 11, 2021 at 3:01 | review | First questions | |||
| Nov 11, 2021 at 14:31 | |||||
| S Nov 11, 2021 at 3:01 | history | asked | lz9866 | CC BY-SA 4.0 |