TY  - RPRT
TI  - Hard 3-CNF-SAT problems are in $P$ -- A first step in proving $NP=P$
AU  - Marcel Rémon
AU  - Johan Barthélemy
PY  - 2020
UR  - https://arxiv.org/abs/2001.00760
ID  - 2001.00760
ER  -