Browsing by Author Altmanninger, Johannes

Showing results 1 to 1 of 1
Authors / EditorsTitleTypeIssue Date
Altmanninger, Johannes ; Rebola Pardo, AdrianFrying the Egg, Roasting the Chicken: Unit Deletions in DRAT ProofsInproceedings Konferenzbeitrag 2020