TY  - RPRT
TI  - Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and its Implications on P versus NP problem
AU  - Manoj Kumar
PY  - 2021
UR  - https://arxiv.org/abs/2101.05597
ID  - 2101.05597
ER  -