TY  - RPRT
TI  - Method of resolution of 3SAT in polynomial time
AU  - Luigi Salemi
PY  - 2010
UR  - https://arxiv.org/abs/0909.3868
ID  - 0909.3868
ER  -