DI Peter Pfeiffer
| Science Park 4, 3rd floor, room 0321 | |
| peter.pfeiffer@jku.at | |
| +43 732 2468 4563 |
Publications
Conferences
| [1] | Peter Pfeiffer, Mark Peyrer, Daniel Große, and Martina Seidl. QSOLE: automatic QBF equivalence checking. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2026. [ bib ] |
| [2] | Peter Pfeiffer, Daniel Große, and Martina Seidl. Refined notions of QBF equivalences. In European Conference on Logics in Artificial Intelligence (JELIA), pages 159–165, 2025. [ bib | DOI | .pdf ] |