Mark Peyrer

According to our database, Mark Peyrer authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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