Timeline for Can any SAT problem be converted to a system of linear equations over $\mathbf{Z}_2$?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 14, 2023 at 23:53 | review | First answers | |||
| Sep 28, 2023 at 23:55 | |||||
| S Sep 14, 2023 at 23:53 | history | answered | Geremia | CC BY-SA 4.0 |