Malik, Sharad

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Malik, Sharad
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Reduction of Resolution Refutations and Interpolants via Subsumption.pdf.jpgBloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, GeorgReduction of Resolution Refutations and Interpolants via SubsumptionInproceedings Konferenzbeitrag2014