TY  - RPRT
TI  - A Probabilistic Approach to Satisfiability of Propositional Logic Formulae
AU  - Reazul Hasan Russel
PY  - 2019
UR  - https://arxiv.org/abs/1912.02150
ID  - 1912.02150
ER  -