TY  - RPRT
TI  - An algorithm for 3-SAT problems
AU  - Hiroshi Tsukimoto
PY  - 2017
UR  - https://arxiv.org/abs/1604.03462
ID  - 1604.03462
ER  -