@misc{indiciae4cf02067f571,
  title = {Outlining an elegant solver for 3-SAT},
  author = {Eduardo Hwang},
  year = {2011},
  url = {https://arxiv.org/abs/0905.2213},
  note = {Source identifier: 0905.2213}
}