TY  - RPRT
TI  - A Polynomial time Algorithm for 3SAT
AU  - Lizhi Du
PY  - 2026
UR  - https://arxiv.org/abs/1004.3702
ID  - 1004.3702
ER  -