Malik, Sharad
Full name Familienname, Vorname
Malik, Sharad
Results 1-1 of 1 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Bloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, Georg | Reduction of Resolution Refutations and Interpolants via Subsumption | Inproceedings Konferenzbeitrag | 2014 |