Abstract: In the last two decades a link has been established that, in some cases, proof that a solution exists has enabled an algorithm to find that solution itself. This has had most effect on ...