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 |