TY - RPRT TI - Phase Transition in Unrestricted Random SAT AU - Bernd R. Schuh PY - 2012 UR - https://arxiv.org/abs/1204.1656 ID - 1204.1656 ER -