Timeline for 3-SAT where variables occur equally many times as a positive literal and as a negative literal
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 19, 2018 at 3:04 | history | suggested | xuhdev | CC BY-SA 4.0 |
Use the DOI link for easier access to the article.
|
| May 18, 2018 at 6:17 | review | Suggested edits | |||
| S May 19, 2018 at 3:04 | |||||
| Nov 6, 2013 at 11:50 | history | edited | Xavier Labouze | CC BY-SA 3.0 |
deleted 1 characters in body
|
| Nov 6, 2013 at 10:43 | history | edited | Juho | CC BY-SA 3.0 |
added 172 characters in body
|
| Nov 6, 2013 at 10:41 | vote | accept | Juho | ||
| Nov 6, 2013 at 8:58 | history | edited | Xavier Labouze | CC BY-SA 3.0 |
edited body
|
| Nov 6, 2013 at 7:05 | history | answered | Xavier Labouze | CC BY-SA 3.0 |