• Skip to main navigation
  • Skip to search
  • Skip to main content
JKU & KUK Research Portal Home JKU & KUK Research Portal Logo
  • Help & FAQ
    • English
    • Deutsch
  • Home
  • Research units
  • Profiles
  • Research output
  • Projects
  • Activities
  • Datasets
  • Prizes
  • Press/Media
No photo of Mark Peyrer

View Scopus Profile

Mark Peyrer

DI, BSc

  • Institute for Symbolic Artificial Intelligence
 https://orcid.org/0009-0005-5751-9975
  • Emailmark.peyrerjkuat
  • Overview
  • Network
  • Research output (4)
  • Activities (7)
  • Datasets (2)

Research output

  • 2 Conference proceedings
  • 1 Article
  • 1 Master's / Diploma thesis

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

  • 3 Organising a conference, workshop, ...
  • 2 Contributed talk
  • 1 Participating in a conference, workshop, ...
  • 1 Other talk or presentation

Activities per year

  • QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms

    Peyrer, M. (Speaker)

    12 Aug 2025

    Activity: Talk or presentation › Contributed talk › science-to-science

  • International Workshop on Quantified Boolean Formulas and Beyond

    Peyrer, M. (Participant) & Seidl, M. (Participant)

    11 Aug 2025

    Activity: 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 2025

    Activity: Participating in or organising an event › Organising a conference, workshop, ...

  • Traumberuf Technik 2025

    Seidl, M. (Organiser), Peyrer, M. (Organiser) & Pfeiffer, P. (Organiser)

    25 Feb 2025

    Activity: 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 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

View all 7 activities

Datasets

  • PyQBF: A Python Framework for Solving Quantified Boolean Formulas

    Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024

    DOI: 10.5281/zenodo.13341211

    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

JKU & KUK Research Portal Logo

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2026 JKU & KUK Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

Impressum

About web accessibility

Report vulnerability

Contact us