TY - RPRT TI - A Refutation of Guinea's "Understanding SAT is in P" AU - Jackson Abascal AU - Shir Maimon PY - 2017 UR - https://arxiv.org/abs/1711.04412 ID - 1711.04412 ER -