Timeline for Verifying a subtlety of Karp's original proof that SAT has a polynomial time reduction to 3SAT
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 20, 2016 at 2:28 | history | tweeted | twitter.com/StackCSTheory/status/711378820557885440 | ||
| Mar 14, 2016 at 21:34 | review | Close votes | |||
| Mar 17, 2016 at 19:09 | |||||
| Mar 14, 2016 at 21:17 | answer | added | Klaus Draeger | timeline score: 9 | |
| Mar 14, 2016 at 20:56 | review | First posts | |||
| Mar 15, 2016 at 8:13 | |||||
| Mar 14, 2016 at 20:53 | history | asked | John MacCormick | CC BY-SA 3.0 |