TY  - RPRT
TI  - SAT is a problem with exponential complexity measured by negentropy
AU  - Feng Pan
PY  - 2015
UR  - https://arxiv.org/abs/1412.1229
ID  - 1412.1229
ER  -