@misc{indiciaedc1ae13b0927,
  title = {SAT is a problem with exponential complexity measured by negentropy},
  author = {Feng Pan},
  year = {2015},
  url = {https://arxiv.org/abs/1412.1229},
  note = {Source identifier: 1412.1229}
}