TY  - RPRT
TI  - Phase Transition and Network Structure in Realistic SAT Problems
AU  - Soumya C. Kambhampati
AU  - Thomas Liu
PY  - 2013
UR  - https://arxiv.org/abs/1304.0145
ID  - 1304.0145
ER  -