Research output per year
Research output per year
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M., Heisinger, M. & Seidl, M., 16 Dec 2025, (E-pub ahead of print) In: Formal Aspects of Computing. 12 p.Research output: Contribution to journal › Article › peer-review
Open Access -
QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. & Seidl, M., 07 Aug 2025, 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). Berg, J., Nordstrom, J. & Nordstrom, J. (eds.). 1 ed. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 25:1-25:10 10 p. 25. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 341).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Preprocessing of Non-QCNF Prenex Formulas
Peyrer, M., Feb 2024, 80 p.Research output: Thesis › Master's / Diploma thesis
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M., Heisinger, M. & Seidl, M., Nov 2024, Integrated Formal Methods, 19th International Conference (IFM 2024). Cham: Springer, Vol. 15234. p. 279–287 9 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Speaker)
12 Aug 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
International Workshop on Quantified Boolean Formulas and Beyond
Peyrer, M. (Participant) & Seidl, M. (Participant)
11 Aug 2025Activity: Participating in or organising an event › Participating in a conference, workshop, ...
-
Workshop: Alles Logisch?
Seidl, M. (Organiser), Peyrer, M. (Organiser), Plank, A. (Organiser) & Renner, J. (Organiser)
12 Jun 2025Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Traumberuf Technik 2025
Seidl, M. (Organiser), Peyrer, M. (Organiser) & Pfeiffer, P. (Organiser)
25 Feb 2025Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas (short paper)
Peyrer, M. (Speaker), Seidl, M. (Speaker) & Heisinger, M. (Speaker)
15 Nov 2024Activity: Talk or presentation › Contributed talk › science-to-science
Datasets
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset