Timeline for 3-SAT where variables occur equally many times as a positive literal and as a negative literal
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 6, 2013 at 10:41 | vote | accept | Juho | ||
| Nov 6, 2013 at 7:05 | answer | added | Xavier Labouze | timeline score: 6 | |
| Nov 3, 2013 at 18:51 | history | tweeted | twitter.com/#!/StackCompSci/status/397073611447873536 | ||
| Nov 3, 2013 at 15:50 | answer | added | Vor | timeline score: 11 | |
| Nov 3, 2013 at 14:27 | history | asked | Juho | CC BY-SA 3.0 |