@misc{indiciaebe67984265e0,
  title = {A polynomial 3-colorability algorithm with automatic generation of NO 3-colorability (i.e. Co-NP) short proofs},
  author = {Jose Antonio Martin H},
  year = {2011},
  url = {https://arxiv.org/abs/1101.6038},
  note = {Source identifier: 1101.6038}
}