@misc{indiciaea07d1dd59c54,
  title = {A New Structural Property of SAT},
  author = {Silvano Di Zenzo},
  year = {2008},
  url = {https://arxiv.org/abs/0805.3058},
  note = {Source identifier: 0805.3058}
}