Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5138007
下载链接
链接失效反馈官方服务：
资源简介：
This submission includes the SAT benchmark dataset for "Certified SAT Solving with GPU Accelerated Inprocessing" article. The dataset is intended to evaluate the performance of ParaFROST GPU solver and to compare with the state of the art.
创建时间：
2021-07-27
