Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
From MaRDI portal
Dataset:6700794
DOI10.5281/zenodo.7554207Zenodo7554207MaRDI QIDQ6700794FDOQ6700794
Dataset published at Zenodo repository.
Armin Biere, Maximilian Heisinger, Martina Seidl
Publication date: 7 November 2022
Copyright license: MIT license
The artifact for the paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving submitted to the TACAS2023 artifact evaluation. We thank the reviewers for their comments and added the missing dependencies to this revised version. No other parts have been changed.
This page was built for dataset: Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
