%0 Journal Article %1 journals/corr/abs-2001-00760 %A Rémon, Marcel %A Barthélemy, Johan %D 2020 %J CoRR %K dblp %T Hard 3-CNF-SAT problems are in P - A first step in proving NP=P. %U http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-00760 %V abs/2001.00760

@article{journals/corr/abs-2001-00760, added-at = {2021-03-02T00:00:00.000+0100}, author = {Rémon, Marcel and Barthélemy, Johan}, biburl = {https://www.bibsonomy.org/bibtex/25ec1ad295d884334e3efe5d26aa54d7b/dblp}, ee = {http://arxiv.org/abs/2001.00760}, interhash = {cb0cb11d4f8297318624e0402bd985ba}, intrahash = {5ec1ad295d884334e3efe5d26aa54d7b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:20:10.000+0200}, title = {Hard 3-CNF-SAT problems are in P - A first step in proving NP=P.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-00760}, volume = {abs/2001.00760}, year = 2020 }