A Polynomial Time Algorithm for 3SAT | ACM Transactions on Computation Theory

34 views
Skip to first unread message

Adolfo Neto

unread,
Jul 19, 2021, 10:30:03 AM7/19/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Joao Marcos

unread,
Jul 19, 2021, 10:45:39 AM7/19/21
to Adolfo Neto, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Uau, ACM Transactions on Computation Theory?

Este paper do Lizhi Du (citado como item #60 aqui:
https://www.win.tue.nl/~gwoegi/P-versus-NP.htm) é de 2010, mas não
parece ter sido publicado:
https://arxiv.org/abs/1004.3702

JM
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUEs27s_5C%3DfG5a1yjhRXfAuHL866QTORLKKNjTcXK7Sw%40mail.gmail.com.



--
http://sequiturquodlibet.googlepages.com/

Adolfo Neto

unread,
Jul 19, 2021, 11:04:33 AM7/19/21
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Pois é. Vi no Twitter. Estão achando que é falha da revisão e apontando para o artigo do arxiv que você menciona.

Bruno Lopes

unread,
Jul 19, 2021, 1:33:50 PM7/19/21
to Adolfo Neto, Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYWKg%3DVMMxfmO8W-HJ2g78J7dK%3D9B%3Dy5F60ytPQN9Nigwg%40mail.gmail.com.


--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense

Walter Carnielli

unread,
Jul 19, 2021, 2:06:21 PM7/19/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Para quem nao teve oportunidade de ver isso: tuíte de
Ryan Williams (MIT), do editorial Board da ACM Transactions on
Computation Theory (eu verifiquei):


" This paper was desk-rejected but somehow mistakenly got put in the
publication queue. It should be retracted by the end of the day. (I'm
on the editorial board, that's how I know) "


Abs

Walter
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_Nd6PYHMEt9UNo4hZMbnEFhb%2BB75gL3KfA-cifVDRi6A%40mail.gmail.com.



--
===========================
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

Joao Marcos

unread,
Jul 19, 2021, 2:22:58 PM7/19/21
to Walter Carnielli, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Nao deixa de ser um vexamão para o periódico...

JM

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfzx63y_OYFdAL-zgqb-i%2BaKpA1cz3yb%3DzrRTkcCpxPYQ%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages