TY - RPRT TI - Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances AU - Ke Xu AU - Wei Li PY - 2003 UR - https://arxiv.org/abs/cs/0302001 ID - cs/0302001 ER -