@misc{indiciae364225433cc9,
  title = {Deterministic search for CNF satisfying assignments in almost polynomial time},
  author = {Rocco A. Servedio and Li-Yang Tan},
  year = {2018},
  url = {https://arxiv.org/abs/1801.03588},
  note = {Source identifier: 1801.03588}
}