1 paper · 1 filter
Fabian Huch, Vincent Bode
Choosing hardware for theorem proving is no simple task: automated provers are highly complex and optimized programs, often utilizing a parallel computation model, and there is lit…