4 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
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…