Picture for Stephan Schulz

Stephan Schulz

DHBW Stuttgart

MizAR 60 for Mizar 50

Add code
Mar 12, 2023
Viaarxiv icon

ProofWatch: Watchlist Guidance for Large Theories in E

Add code
May 19, 2018
Figure 1 for ProofWatch: Watchlist Guidance for Large Theories in E
Figure 2 for ProofWatch: Watchlist Guidance for Large Theories in E
Figure 3 for ProofWatch: Watchlist Guidance for Large Theories in E
Figure 4 for ProofWatch: Watchlist Guidance for Large Theories in E
Viaarxiv icon

New results on rewrite-based satisfiability procedures

Add code
Jun 01, 2008
Figure 1 for New results on rewrite-based satisfiability procedures
Figure 2 for New results on rewrite-based satisfiability procedures
Figure 3 for New results on rewrite-based satisfiability procedures
Figure 4 for New results on rewrite-based satisfiability procedures
Viaarxiv icon