TY - RPRT TI - Critique of Barbosa's "P != NP Proof" AU - Jackson Abascal AU - Shir Maimon PY - 2017 UR - https://arxiv.org/abs/1711.07132 ID - 1711.07132 ER -