Name Card

Full name Familienname, Vorname
Suda, Martin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 38 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
2Damestani, David ; Kovacs, Laura ; Suda, Martin Superposition Reasoning about Quantified Bitvector FormulasInproceedings Konferenzbeitrag 15-Apr-2020
3Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020
4Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020
5Suda, Martin ; Gleiss, Bernhard Local Soundness for QBF CalculiKonferenzbeitrag Inproceedings 2018
6Reger, Giles ; Suda, Martin Incremental Solving with VampireKonferenzbeitrag Inproceedings 2018
7Reger, Giles ; Suda, Martin Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
8Janota, Mikolas ; Suda, Martin Towards Smarter MACE-style Model FindersKonferenzbeitrag Inproceedings2018
9Beyersdorff, Olaf ; Blinkhorn, Joshua ; Chew, Leroy ; Schmidt, Renate ; Suda, Martin Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFArtikel Article 2018
10Rebola Pardo, Adrian ; Suda, Martin A Theory of Satisfiability-Preserving Proofs in SAT SolvingKonferenzbeitrag Inproceedings 2018
11Reger, Giles ; Suda, Martin ; Voronkov, Andrei Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
12Reger, Giles ; Suda, Martin ; Voronkov, Andrei Instantiation and Pretending to be an SMT Solver with VampirePräsentation Presentation2017
13Reger, Giles ; Suda, Martin ; Voronkov, Andrei Recent Improvements of Theory Reasoning in VampirePräsentation Presentation2017
14Reger, Giles ; Suda, Martin Local proofs and AVATARPräsentation Presentation2017
15Reger, Giles ; Suda, Martin Incremental Solving with VampirePräsentation Presentation2017
16Reger, Giles ; Suda, Martin Measuring progress to predict success: Can a good proof strategy be evolved?Präsentation Presentation2017
17Gleiss, Bernhard ; Kovács, Laura ; Suda, Martin Splitting Proofs for InterpolationKonferenzbeitrag Inproceedings 2017
18Reger, Giles ; Suda, Martin Set of Support for Theory ReasoningKonferenzbeitrag Inproceedings 2017
19Reger, Giles ; Suda, Martin Checkable Proofs for First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2017
20Jakubuv, Jan ; Suda, Martin ; Urban, Josef Automated Invention of Strategies and Term Orderings for VampireKonferenzbeitrag Inproceedings 2017

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Cignarale-2023-Logic ofCommunication Interpretation How toNot Get Lost in...-vor.pdf.jpgCignarale, Giorgio ; Kuznets, Roman ; Rincon Galeana, Hugo ; Schmid, Ulrich Logic of Communication Interpretation: How to Not Get Lost in TranslationInproceedings Konferenzbeitrag 13-Sep-2023