@misc{indiciae5dae2b863eed,
  title = {On non-canonical solving the Satisfiability problem},
  author = {Anatoly D. Plotnikov},
  year = {2015},
  url = {https://arxiv.org/abs/1508.00123},
  note = {Source identifier: 1508.00123}
}