@misc{indiciae8ff590a92513,
  title = {Hard 3-CNF-SAT problems are in \$P\$ -- A first step in proving \$NP=P\$},
  author = {Marcel Rémon and Johan Barthélemy},
  year = {2020},
  url = {https://arxiv.org/abs/2001.00760},
  note = {Source identifier: 2001.00760}
}