Artifact for "Backtrackable Inprocessing" (SAT 2026)
收藏DataCite Commons2026-05-05 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.20034733
下载链接
链接失效反馈官方服务：
资源简介：
This artifact contains the Island SAT solver code and the benchmarks used in the experimental evaluation of the SAT 2026 paper “Backtrackable Inprocessing” by Alexander Nadel, together with instructions for reproducing the paper’s experiments. See the README for further details.
提供机构：
Zenodo
创建时间：
2026-05-05
