Talk at the 16th Alpine Verification Meeting

Peyrer, M. (Speaker)

Institute for Symbolic Artificial Intelligence

Activity: Talk or presentation › Other talk or presentation › science-to-science

Description

Presentation of the PyQBF project

Period	04 Sept 2024 → 06 Sept 2024
Event title	16th Alpine Verification Meeting (AVM’24)
Event type	Conference
Location	GermanyShow on map

Fields of science

102 Computer Sciences
102022 Software development
102001 Artificial intelligence
101013 Mathematical logic

JKU Focus areas

Digital Transformation

Documents & Links

Website of the AVM24

Related content

Research output
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review