TY - RPRT TI - Solving 3SAT By Reduction To Testing For Odd Hole AU - M. Delacorte PY - 2018 UR - https://arxiv.org/abs/1810.00875 ID - 1810.00875 ER -