tag:blogger.com,1999:blog-27705661.post6620481593447220553..comments2023-10-28T10:58:57.140+00:00Comments on Process Algebra Diary: Proofs of the Dichotomy Conjecture (guest post by Petar Marković)Luca Acetohttp://www.blogger.com/profile/01092671728833265127noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-27705661.post-73603595947387167732017-08-13T13:19:35.383+00:002017-08-13T13:19:35.383+00:00Working together, Professor Delić and I have convi...Working together, Professor Delić and I have convinced ourselves that, unfortunately, there are serious issues with his proof of the Dichotomy Conjecture. Professor Delić no longer claims he solved the Dichotomy Conjecture. So the proofs by Bulatov and by Zhuk remain the only two proofs which are still probably correct.Petar Markovićhttps://www.blogger.com/profile/13046735244793914357noreply@blogger.comtag:blogger.com,1999:blog-27705661.post-37854494005038871912017-08-08T13:04:36.214+00:002017-08-08T13:04:36.214+00:00Thanks Igor! I wasn't aware of this fourth pro...Thanks Igor! I wasn't aware of this fourth proof. Luca Acetohttps://www.blogger.com/profile/01092671728833265127noreply@blogger.comtag:blogger.com,1999:blog-27705661.post-1108580935093956552017-08-08T12:23:05.992+00:002017-08-08T12:23:05.992+00:00https://arxiv.org/abs/1706.03451
This paper seems ...https://arxiv.org/abs/1706.03451<br />This paper seems also relevant to the discussion Igorhttps://www.blogger.com/profile/15711814224090824083noreply@blogger.com