@vzn It's the sort of question I'd expect some CS researcher to know the answer to (or know that it's open), whereas I suspect that the crowd at CS.SE is unlikely to know.
And, yeah, I'd noticed that nothing had been posted here for two days before my message.
theory salon
theory salon