Mikheil Rukhaia

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 3

Top Topics

Recursive Functions

Quality Function Deployment

Quantifier Elimination

Top Venues

Publications

Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM (2023)
Irakli O. Chitaia, Roland Sh. Omanadze, Mikheil Rukhaia
Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies. e-Science (2023)
Besik Dundua, Temur Kutsia, Mikheil Rukhaia
Unranked Nominal Unification. TbiLLC (2019)
Tomer Libal, Martin Riener, Mikheil Rukhaia
Advanced Proof Viewing in ProofTool. UITP (2014)
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
CERES for First-Order Schemata CoRR (2013)
Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia
Understanding Resolution Proofs through Herbrand's Theorem. TABLEAUX (2013)
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
Cut-Elimination and Proof Schemata. TbiLLC (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)