Timeline for In SAT, do we require an assignment for arbitrary variables?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2018 at 0:00 | history | tweeted | twitter.com/StackCompSci/status/1066481706583109634 | ||
| Nov 24, 2018 at 19:20 | answer | added | Juho | timeline score: 9 | |
| Nov 24, 2018 at 19:07 | comment | added | Yuval Filmus | A truth assignment assigns values to all variables. | |
| Nov 24, 2018 at 18:06 | history | edited | Georgie j. | CC BY-SA 4.0 |
modified title
|
| Nov 24, 2018 at 18:05 | review | First posts | |||
| Nov 24, 2018 at 20:23 | |||||
| Nov 24, 2018 at 18:00 | history | asked | Georgie j. | CC BY-SA 4.0 |