Published April 28, 2023
| Version v1
Conference paper
Open
Making IP = PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms – Artifact
Authors/Creators
- 1. Technische Universität München
- 2. Max Planck Institute for Software Systems
Description
This is the artifact for the submission “Making IP = PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms”. Within the paper, we develop a new approach to interactively certify BDD algorithms. We implemented this approach as `blic`, a certifying QBF solver. This tool is evaluated against other QBF solvers.
The artifact consists of the source code for `blic`, as well as the data and other tools necessary to replicate the empirical claims of the paper.
Notes
This work was supported by the Research Training Network of the Deutsche Forschungsgemeinschaft (DFG) (378803395: ConVeY).