Name Card

Full name Familienname, Vorname
Preiner, Mathias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpgPreiner, Mathias The FMCAD 2022 Student ForumKonferenzbeitrag Inproceedings Oct-2022
2Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
329_Ternary Propagation-Based Local Search for More Bit_Precise Reasoning.pdf.jpgNiemetz, Aina ; Preiner, Mathias Ternary Propagation-Based Local Search for More Bit-Precise ReasoningKonferenzbeitrag Inproceedings 2020
4Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Resolution-Based Certificate Extraction for QBFKonferenzbeitrag Inproceedings 2012