Martin Riener

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 4

Top Topics

Multiresolution

Computational Framework

Top Venues

Publications

Clemens Eisenhofer, Martin Riener
Automated Instantiation of Control Flow Tracing Exercises. CoRR (2022)
Giles Reger, Martin Riener, Martin Suda
Symmetry Avoidance in MACE-Style Finite Model Finding. FroCos (2019)
Martin Riener
Experimenting with Theory Instantiation in Vampire. Vampire (2019)
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
System Description: GAPT 2.0. IJCAR (2016)
Tomer Libal, Martin Riener, Mikheil Rukhaia
Advanced Proof Viewing in ProofTool. UITP (2014)
Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia
Understanding Resolution Proofs through Herbrand's Theorem. TABLEAUX (2013)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
System Feature Description: Importing Refutations into the GAPT Framework. PxTP (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
PROOFTOOL: a GUI for the GAPT Framework. UITP (2012)