EasyChair Smart SlideDocs/Log in
Author: Jakob Rath

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

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Bernhard Gleiss, Laura Kovács and Jakob Rath

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