TY - RPRT TI - Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm AU - Minghao Yin AU - Ping Huang PY - 2011 UR - https://arxiv.org/abs/1102.4922 ID - 1102.4922 ER -