Timeline for Ramsey type theorem
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2018 at 16:14 | vote | accept | Jiayi Liu | ||
| Feb 22, 2018 at 16:05 | vote | accept | Jiayi Liu | ||
| Feb 22, 2018 at 16:14 | |||||
| Feb 19, 2018 at 21:02 | comment | added | Adam P. Goucher | The certificate is only 1489 lines long, and presumably could be optimised by symmetry considerations, so that's conceivable. But I imagine that, even after simplifying the proof, we would still be left with an inelegant case-bash. | |
| Feb 19, 2018 at 20:56 | comment | added | François G. Dorais | Since Glucose measures the "quality" of learned clauses as it runs, it is perhaps possible that some of these might be useful steps in a "human" proof. | |
| Feb 19, 2018 at 17:28 | history | undeleted | Adam P. Goucher | ||
| Feb 19, 2018 at 17:28 | history | edited | Adam P. Goucher | CC BY-SA 3.0 |
added 151 characters in body
|
| Feb 19, 2018 at 17:13 | history | deleted | Adam P. Goucher | via Vote | |
| Feb 19, 2018 at 17:11 | history | answered | Adam P. Goucher | CC BY-SA 3.0 |