Full name Familienname, Vorname
Rath, Jakob
 
Main Affiliation Organisations­zuordnung
 

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag 2-Sep-2023
2Ayala, Pablo ; Naghdi, Shaghayegh ; Nandan, Sreejith P. ; Myakala, Stephen Nagaraju ; Rath, Jakob ; Saito, Hikaru ; Guggenberger, Patrick ; Lakhanlal, Lakhanlal ; Kleitz, Freddy ; Toroker, Maytal Caspary ; Cherevan, Alexey ; Eder, Dominik The Emergence of 2D Building Units in Metal‐Organic Frameworks for Photocatalytic Hydrogen Evolution: A Case Study with COK‐47Article Artikel 18-Aug-2023
3Rath-2022-First-Order Subsumption via SAT Solving-vor.pdf.jpgRath, Jakob ; Biere, Armin ; Kovacs, Laura First-Order Subsumption via SAT SolvingKonferenzbeitrag Inproceedings Oct-2022
4Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022
5Hozzova-2021-Automated Generation of Exam Sheets for Automated Deduction-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Rath, Jakob Automated Generation of Exam Sheets for Automated DeductionInproceedings Konferenzbeitrag 12-Aug-2021
6Gleiss, Bernhard ; Kovacs, Laura ; Rath, Jakob Subsumption Demodulation in First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2020
7Gleiss, Bernhard ; Kovacs, Laura ; Rath, Jakob Forward Subsumption Demodulation - Fast Conditional Rewriting in VampirePräsentation Presentation2019
8Rath, Jakob Subsumption Demodulation in First-Order Theorem ProvingPräsentation Presentation2019
9Rath Jakob - 2019 - Subsumption demodulation in first-order theorem proving.pdf.jpgRath, Jakob Subsumption demodulation in first-order theorem provingThesis Hochschulschrift 2019