!!Research output per year
!!Research output per year
Beschreibung
Artifact provided for the corresponding paper submitted at the iFM 2024
| Datum zugänglich gemacht | 19 Aug. 2024 |
|---|---|
| Verlag | Zenodo |
Wissenschaftszweige
- 102 Informatik
- 102001 Artificial Intelligence
- 102022 Softwareentwicklung
- 101013 Mathematische Logik
Publikationen
- 1 Konferenzbeitrag
-
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, Band 15234. S. 279–287 9 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
International Workshop on Quantified Boolean Formulas and Beyond
Peyrer, M. (Teilnehmer*in) & Seidl, M. (Teilnehmer*in)
11 Aug. 2025Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Teilnahme an Konferenz, Workshop, ...
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas (short paper)
Peyrer, M. (Vortragende*r), Seidl, M. (Vortragende*r) & Heisinger, M. (Vortragende*r)
15 Nov. 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
Dieses zitieren
- DataSetCite