TY  - RPRT
TI  - Polynomial Time Algorithm for Boolean Satisfiability Problem
AU  - Stepan G. Margaryan
PY  - 2023
UR  - https://arxiv.org/abs/2310.19833
ID  - 2310.19833
ER  -