Determining satisfiability of 3-SAT in polynomial time. - Ortho Flint; Asanka Wickramasinghe; Jason Brasse; Christopher Fowler (CoRR, 2019)