TY - RPRT TI - What is Cook's theorem? AU - JianMing Zhou AU - Yu Li PY - 2015 UR - https://arxiv.org/abs/1501.01910 ID - 1501.01910 ER -