Timeline for Sparsification and critical clauses in SAT
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10 at 14:42 | vote | accept | S. M. | ||
| S Feb 6 at 15:09 | history | bounty ended | CommunityBot | ||
| S Feb 6 at 15:09 | history | notice removed | CommunityBot | ||
| Feb 5 at 21:06 | history | edited | S. M. | CC BY-SA 4.0 |
edited body
|
| Feb 5 at 20:36 | answer | added | S. M. | timeline score: 1 | |
| Feb 1 at 23:40 | history | edited | S. M. |
edited tags
|
|
| Feb 1 at 19:26 | history | edited | S. M. | CC BY-SA 4.0 |
added 127 characters in body
|
| Feb 1 at 10:27 | comment | added | Simd | If there is no one in your department who can help, you will have to email one of those authors politely and ask. | |
| Feb 1 at 10:19 | comment | added | Simd | Can you email the author to ask? | |
| S Jan 29 at 13:59 | history | bounty started | S. M. | ||
| S Jan 29 at 13:59 | history | notice added | S. M. | Draw attention | |
| Jan 26 at 19:55 | history | edited | S. M. | CC BY-SA 4.0 |
added 3 characters in body
|
| Jan 26 at 19:06 | history | asked | S. M. | CC BY-SA 4.0 |