Mikheil Rukhaia

According to our database, Mikheil Rukhaia authored at least 9 papers between 2012 and 2023.

Collaborative distances:

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

2023

Enumerating All Maximal Clique-Partitions of an Undirected Graph.

Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies.

Irakli O. Chitaia, Roland Sh. Omanadze, Mikheil Rukhaia

Proceedings of the 19th IEEE International Conference on e-Science, 2023

2019

Unranked Nominal Unification.

Besik Dundua, Temur Kutsia, Mikheil Rukhaia

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

2014

Advanced Proof Viewing in ProofTool.

Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

2013

CERES for First-Order Schemata

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

CoRR, 2013

Cut-Elimination and Proof Schemata.

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

Proceedings of the Logic, Language, and Computation, 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

PROOFTOOL: a GUI for the GAPT Framework.

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

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 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