@misc{indiciae7c49ce04b556,
  title = {A Polynomial time Algorithm for 3SAT},
  author = {Lizhi Du},
  year = {2026},
  url = {https://arxiv.org/abs/1004.3702},
  note = {Source identifier: 1004.3702}
}