Suda, Martin
Full name Familienname, Vorname
Suda, Martin
Access Type
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Gleiss, Bernhard ; Suda, Martin ; Peltier, Nicolas ; Sofronie-Stokkermans, Viorica | Layered Clause Selection for Theory Reasoning | Konferenzbeitrag Inproceedings | 2020 | |
2 | Kiesl, Benjamin; Suda, Martin ; Seidl, Martina; Tompits, Hans; Biere, Armin | Blocked Clauses in First-Order Logic | Inproceedings Konferenzbeitrag | 2017 |