Some tasks may require such a large number of logical steps that humans find it impossible to check them manually, but often they are easily solved by SAT-solvers
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
trevyn - (no access) - Szegedy2020_Chapter_APromisingPathTowardsAutoforma.pdf, p2
Summary
| status | not read | | reprioritisations | |
|---|
| last reprioritisation on | | | suggested re-reading day | |
|---|
| started reading on | | | finished reading on | |
|---|
Details