Notice of removal: A polynomial time algorithm for 3SAT

DOI10.1145/3460950MaRDI QIDQ5868875zbMATH OpenOpenAlexFDO

Authors Lizhi du

Publication date 24 September 2022

Published in ACM Transactions on Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3460950

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Retraction notice to: ``A computer application in mathematics
• Retraction note to: ``Synthesis of reversible circuits consisting of NOT, CNOT and 2-CNOT gates with small number of additional inputs
• Retraction notice: ``On 3-choosability of planar graphs with neither adjacent triangles nor 5-, 6- and 9-cycles
• Erratum to ``Languages not recognizable in real time by one-dimensional cellular automata
• Statement of Removal

This page was built for publication: Notice of removal: A polynomial time algorithm for 3SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5868875)