EasyChair Smart SlideDocs/Log in
Author: Stephan Schulz

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

Lazy and Eager Patterns in High-Performance Automated Theorem Proving

Lazy and Eager Patterns in High-Performance Automated Theorem Proving

Stephan Schulz

Faster, Higher, Stronger: E 2.3 (System Description)

Faster, Higher, Stronger: E 2.3 (System Description)

Stephan Schulz, Simon Cruanes and Petar Vukmirović

Cooperation and Competition in Automated Theorem Proving

Cooperation and Competition in Automated Theorem Proving

Stephan Schulz

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Phillip Lippe and Stephan Schulz

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Stephan Schulz

ProofWatch: Watchlist Guidance for Large Theories in E

ProofWatch: Watchlist Guidance for Large Theories in E

Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz and Josef Urban

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