Martin Riener

According to our database, Martin Riener authored at least 5 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Experimenting with Theory Instantiation in Vampire.

Martin Riener

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019

Symmetry Avoidance in MACE-Style Finite Model Finding.

Giles Reger, Martin Riener, Martin Suda

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2016

System Description: GAPT 2.0.

Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2013

Understanding Resolution Proofs through Herbrand's Theorem.

Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012