TY - RPRT TI - Computer-Simulation Model Theory (P= NP is not provable) AU - Rasoul Ramezanian PY - 2019 UR - https://arxiv.org/abs/1906.09873 ID - 1906.09873 ER -