TY  - RPRT
TI  - Computing the density of tautologies in propositional logic by solving system of quadratic equations of generating functions
AU  - Taehyun Eom
PY  - 2023
UR  - https://arxiv.org/abs/2003.00511
ID  - 2003.00511
ER  -