Name Card

Full name Familienname, Vorname
Altmanninger, Johannes
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Altmanninger Johannes - 2020 - Frying the Egg Roasting the Chicken Unit...pdf.jpgAltmanninger, Johannes ; Rebola Pardo, Adrian Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT ProofsInproceedings Konferenzbeitrag 2020
2Altmanninger Johannes - 2019 - A Tiny tweak to proof generation in miniSat-based...pdf.jpgAltmanninger, Johannes A Tiny tweak to proof generation in miniSat-based SAT solvers & a complete and efficient DRAT proof checkerThesis Hochschulschrift 2019