Artifact for "Backtrackable Inprocessing" (SAT 2026)
收藏官方服务：
资源简介：
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
