@misc{indiciae2168c4f66cfa,
  title = {General Method for Solving Four Types of SAT Problems},
  author = {Anqi Li and Congying Han and Tiande Guo and Haoran Li and Bonan Li},
  year = {2023},
  url = {https://arxiv.org/abs/2312.16423},
  note = {Source identifier: 2312.16423}
}