Making IP = PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms – Artifact

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.

This work was supported by the Research Training Network of the Deutsche Forschungsgemeinschaft (DFG) (378803395: ConVeY).

Related Organizations

Technical University of Munich
Germany
Max Planck Society
Germany
Max Planck Institute for Software Systems
Germany
TECHNISCHE UNIVERSITAET MUENCHEN
Germany

Impact byBIP!

	citations The total number of citations received by all articles of the researcher of interest.	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average