EasyChair Smart SlideDocs/Log in
Author: Michael Rawson

This page shows all presentations of this author published in EasyChair Smart Slide.

SAT-Based Subsumption Resolution

SAT-Based Subsumption Resolution

Robin Coutelier, Laura Kovacs, Michael Rawson and Jakob Rath

Superposition with Delayed Unification

Superposition with Delayed Unification

Ahmed Bhayat, Johannes Schoisswohl and Michael Rawson

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Michael Rawson and Giles Reger

Testing ATP folklore: a statistical analysis of Vampire proofs.

Testing ATP folklore: a statistical analysis of Vampire proofs.

Michael Rawson and Giles Reger

Dynamic Strategy Priority: Empower the strong and abandon the weak

Dynamic Strategy Priority: Empower the strong and abandon the weak

Michael Rawson and Giles Reger

Presentations in this collection: 5
Copyright © 2002 – 2025 EasyChair