Martin Riener
Martin Riener
TU Wien
Verified email at - Homepage
Cited by
Cited by
System description: GAPT 2.0
G Ebner, S Hetzl, G Reis, M Riener, S Wolfsteiner, S Zivota
International Joint Conference on Automated Reasoning, 293-301, 2016
PROOFTOOL: a GUI for the GAPT framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
arXiv preprint arXiv:1307.1942, 2013
Understanding resolution proofs through Herbrand’s theorem
S Hetzl, T Libal, M Riener, M Rukhaia
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
Advanced proof viewing in ProofTool
T Libal, M Riener, M Rukhaia
arXiv preprint arXiv:1410.8218, 2014
System Feature Description: Importing Refutations into the GAPT Framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
Proof Exchange for Theorem Proving Second International Workshop, PxTP, 2012
What is the Point of an SMT-LIB Problem?
G Reger, M Riener
16th International Workshop on Satisfiability Modulo Theories, 2018
Symmetry Avoidance in MACE-Style Finite Model Finding
G Reger, M Riener, M Suda
International Symposium on Frontiers of Combining Systems, 3-21, 2019
Integrating theories into inference systems
M Riener
na, 2011
Vampire 4.4-SMT System Description
G Reger, M Suda, A Voronkov, E Kotelnikov, S Robillard, L Kovács, ...
The system can't perform the operation now. Try again later.
Articles 1–9