Mark Peyrer

According to our database, Mark Peyrer authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

QSOLE: Automatic QBF Equivalence Checking.

Peter Pfeiffer, Mark Peyrer, Daniel Große, Martina Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

QSOLE: Automated QBF Equivalence Checking.

Peter Pfeiffer, Mark Peyrer, Daniel Große, Martina Seidl

Dataset, October, 2025

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

Mark Peyrer, Martina Seidl

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

2024

PyQBF: A Python Framework for Solving Quantified Boolean Formulas.

Mark Peyrer, Maximilian Heisinger, Martina Seidl

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024