Timeline for Significance of quantifier ordering in quantified boolean formulas (kQBF vs. QBF)
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 19, 2020 at 15:34 | vote | accept | user1318416 | ||
| Oct 22, 2019 at 20:45 | answer | added | Robert Andrews | timeline score: 2 | |
| Oct 22, 2019 at 20:05 | history | edited | user1318416 | CC BY-SA 4.0 |
added 10 characters in body
|
| Oct 22, 2019 at 20:00 | review | First posts | |||
| Oct 23, 2019 at 2:01 | |||||
| Oct 22, 2019 at 19:55 | history | asked | user1318416 | CC BY-SA 4.0 |