TY  - RPRT
TI  - How to solve kSAT in polynomial time
AU  - Algirdas Antano Maknickas
PY  - 2012
UR  - https://arxiv.org/abs/1203.6020
ID  - 1203.6020
ER  -