Martin Möhrmann

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Theorem Proving

Automated Deduction

Proof Procedure

Top Venues

Publications

Stephan Schulz, Martin Möhrmann
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. IJCAR (2016)