Boldly Going Where No Prover Has Gone Before

Giles Reger

I argue that the most interesting goal facing researchers in automated reasoning is being able to solve problems that cannot currently be solved by existing tools and methods. This…