Timeline for Best SAT upper bounds based on number of clauses
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 28, 2016 at 11:10 | vote | accept | Alexey Kholodkov | ||
| Mar 28, 2016 at 11:08 | vote | accept | Alexey Kholodkov | ||
| Mar 28, 2016 at 11:09 | |||||
| Oct 14, 2015 at 12:19 | history | answered | hirsch | CC BY-SA 3.0 |