TY  - RPRT
TI  - General Method for Solving Four Types of SAT Problems
AU  - Anqi Li
AU  - Congying Han
AU  - Tiande Guo
AU  - Haoran Li
AU  - Bonan Li
PY  - 2023
UR  - https://arxiv.org/abs/2312.16423
ID  - 2312.16423
ER  -