TY  - RPRT
TI  - Polynomial time algorithm for 3-SAT. Examples of use
AU  - Sergey Gubin
PY  - 2007
UR  - https://arxiv.org/abs/cs/0703098
ID  - cs/0703098
ER  -