zenodoopen
Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
<p>The artifact for the paper "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving" submitted to the <a href="https://tacas.info/artifacts-23.php">TACAS2023 artifact evaluation</a>.</p> <p>We thank the reviewers for their comments and added the missing dependencies to this revised version. No other parts have been changed.</p>
ShareScore
40/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 8
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0
Topics
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.