TY - RPRT TI - Polynomial time estimates for #SAT AU - Bernd R. Schuh PY - 2017 UR - https://arxiv.org/abs/1705.05452 ID - 1705.05452 ER -