Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7298511
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-01-20
