ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing
收藏数据链接：
官方服务：
资源简介：
This submission includes all the proofs of ParaFROST GPU SAT solver for the "Certified SAT Solving with GPU Accelerated Inprocessing" article.
提供机构：
Zenodo创建时间：
2021-07-27
