Jakob Rath

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Automated Deduction

Theorem Proving

Answer Set Programming

Top Venues

Publications

Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
SAT-Based Subsumption Resolution. CoRR (2024)
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
PolySAT: Word-level Bit-vector Reasoning in Z3. CoRR (2024)
Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
SAT-Based Subsumption Resolution. CADE (2023)
Jakob Rath, Armin Biere, Laura Kovács
First-Order Subsumption via SAT Solving. FMCAD (2022)
Petra Hozzová, Laura Kovács, Jakob Rath
Automated Generation of Exam Sheets for Automated Deduction. CICM (2021)
Bernhard Gleiss, Laura Kovács, Jakob Rath
Subsumption Demodulation in First-Order Theorem Proving. IJCAR (1) (2020)
Bernhard Gleiss, Laura Kovács, Jakob Rath
Subsumption Demodulation in First-Order Theorem Proving. CoRR (2020)
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR (2019)
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Inconsistency Proofs for ASP: The ASP - DRUPE Format. Theory Pract. Log. Program. 19 (5-6) (2019)
Jakob Rath, Christoph Redl
Integrating Answer Set Programming with Object-Oriented Languages. PADL (2017)