Jakob Rath

According to our database, Jakob Rath authored at least 8 papers between 2011 and 2024.

Collaborative distances:

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

2024

PolySAT: Word-level Bit-vector Reasoning in Z3.

Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács

CoRR, 2024

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

2011

Clinical fMRI: Evidence for a 7 T benefit over 3 T.

Roland Beisteiner, Simon Robinson, Moritz C. Wurnig, Markus Hilbert, K. Merksa, Jakob Rath, Ilse Höllinger, Nicolaus Klinger, Christine Marosi, Siegfried Trattnig, Alexander Geißler

NeuroImage, 2011