|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 | | Fröhlich, Andreas ; Kovasznai, Gergely ; Biere, Armin ; Veith, Helmut | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic | Konferenzbeitrag Inproceedings | 2014 |
| 22 | | Heule, Marijn ; Seidl, Martina ; Biere, Armin | A Unified Proof System for QBF Preprocessing | Konferenzbeitrag Inproceedings  | 2014 |
| 23 | | Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic | Konferenzbeitrag Inproceedings | 2014 |
| 24 | | Kovasznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic | Präsentation Presentation | 2014 |
| 25 | | Artho, Cyrille ; Seidl, Martina ; Biere, Armin | Model-Based Testing for Verification Back-Ends | Konferenzbeitrag Inproceedings | 2013 |
| 26 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 27 | | Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | SmacC: A Retargetable Symbolic Execution Engine | Konferenzbeitrag Inproceedings | 2013 |
| 28 | | Goultiaeva, Alexandra ; Seidl, Martina ; Biere, Armin | Bridging the gap between dual propagation and CNF-based QBF solving | Konferenzbeitrag Inproceedings | 2013 |
| 29 | | Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | The Auspicious Couple: Symbolic Execution and WCET Analysis | Konferenzbeitrag Inproceedings | 2013 |
| 30 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 31 | | Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin | Resolution-Based Certificate Extraction for QBF | Konferenzbeitrag Inproceedings | 2012 |
| 32 | | Seidl, Martina ; Lonsing, Florian ; Biere, Armin | qbf2epr: A Tool for Generating EPR Formulas from QBF | Konferenzbeitrag Inproceedings | 2012 |
