This page shows all presentations of this author published in EasyChair Smart Slide.
Old or Heavy? Decaying Gracefully with Age/Weight Shapes.
Michael Rawson and Giles Reger
Testing ATP folklore: a statistical analysis of Vampire proofs.
Dynamic Strategy Priority: Empower the strong and abandon the weak