Hace 13 años | Por --229078-- a romvf.wordpress.com
Publicado hace 13 años por --229078-- a romvf.wordpress.com

V. F. Romanov da en codigo abierto una solucion al problema "3-SAT" con la conclusion que P=NP. https://github.com/anjlab/sat3