I looked but didn’t use the right keywords. Patrick LaVictoire, a math postdoc, also did a literature search about quining cooperation at my request and didn’t find these papers either. Then I stumbled on them by accident while looking for something else.
After that I did a literature search about the next few UDT results and didn’t find anything, but I’m not confident that these results are new either. Can you give it a try?
I looked but didn’t use the right keywords. Patrick LaVictoire, a math postdoc, also did a literature search about quining cooperation at my request and didn’t find these papers either. Then I stumbled on them by accident while looking for something else.
After that I did a literature search about the next few UDT results and didn’t find anything, but I’m not confident that these results are new either. Can you give it a try?
Out of curiosity, via what route did you run across these?
Don’t remember exactly, but I think I was looking for papers on decision-making with bounded computation time, and Fortnow’s paper came up.