Research output per year
Research output per year
Description
Artifact provided for the corresponding paper submitted at the iFM 2024
| Date made available | 19 Aug 2024 |
|---|---|
| Publisher | Zenodo |
Fields of science
- 102 Computer Sciences
- 102001 Artificial intelligence
- 102022 Software development
- 101013 Mathematical logic
Research output
- 1 Conference proceedings
-
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
-
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, ...
-
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
Cite this
- DataSetCite