@misc{indiciaeb8bde24ce442,
  title = {Efficient programs of NPC problems should be length upper-bounded, and a thought experiment to search for them by machine enumeration},
  author = {YuQian Zhou},
  year = {2012},
  url = {https://arxiv.org/abs/1204.5576},
  note = {Source identifier: 1204.5576}
}