Projects per year
Description
It was submitted as additional material to the corresponding paper submitted to the SAT25 and made publically available here. The artifact contains everything necessary for setting up and running the QRP+Gen pipeline.
| Date made available | 22 Jul 2025 |
|---|---|
| Publisher | Zenodo |
Fields of science
- 102 Computer Sciences
- 102001 Artificial intelligence
- 102031 Theoretical computer science
Projects
- 1 Active
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (PI), Hochreiter, S. (PI), Klambauer, G. (PI), Schedl, M. (PI), Seidl, M. (PI), Widmer, G. (PI), Brandstetter, J. (PI), Kobler, E. (PI), Aichernig, B. (PI), Heisinger, M. (Researcher), Hoedt, P.-J. (Researcher), Pfeiffer, P. (Researcher), Plank, A. (Researcher), Radler, A. (Researcher), Rebola Pardo, A. (Researcher), Lin, W. (Researcher), Eckert, H. (Researcher), Cranganore, S. S. (Researcher), Hartl, A.-R. (Researcher), Plasser, M. (Researcher), Pammer, T. (Researcher), Tommasel, A. (Researcher), Nawaz, S. (Researcher), Masoudian, S. (Researcher) & Freinschlag, R. (Researcher)
01.10.2024 → 30.09.2029
Project: Funded research › FWF - Austrian Science Fund
Research output
- 1 Conference proceedings
-
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.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 341. 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