Timeline for An Alternative to the Cook-Levin Theorem
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2010 at 18:42 | answer | added | Emil | timeline score: 4 | |
| Sep 4, 2010 at 19:59 | vote | accept | Huck Bennett | ||
| Sep 4, 2010 at 13:26 | answer | added | Peter Shor | timeline score: 10 | |
| Sep 4, 2010 at 0:02 | comment | added | Eric Tressler | The Cook-Levin proof is very short, and the proofs of the reduction of several problems to SAT are also very short -- I don't see how it's in any way indirect to consider the two arguments together. | |
| Sep 3, 2010 at 23:49 | history | asked | Huck Bennett | CC BY-SA 2.5 |