Jakob Rath

According to our database, Jakob Rath authored at least 6 papers between 2017 and 2023.

Collaborative distances:

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

2023

SAT-Based Subsumption Resolution.

Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath

Proceedings of the Automated Deduction - CADE 29, 2023

2022

First-Order Subsumption via SAT Solving.

Jakob Rath, Armin Biere, Laura Kovács

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Automated Generation of Exam Sheets for Automated Deduction.

Petra Hozzová, Laura Kovács, Jakob Rath

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Subsumption Demodulation in First-Order Theorem Proving.

Bernhard Gleiss, Laura Kovács, Jakob Rath

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Inconsistency Proofs for ASP: The ASP - DRUPE Format.

Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath

Theory Pract. Log. Program., 2019

2017

Integrating Answer Set Programming with Object-Oriented Languages.

Jakob Rath, Christoph Redl

Proceedings of the Practical Aspects of Declarative Languages, 2017