TY - RPRT TI - A Polynomial Decision for 3-SAT AU - Angela Weiss PY - 2024 UR - https://arxiv.org/abs/2208.12598 ID - 2208.12598 ER -