Learn to Unlearn
收藏Zenodo2025-04-04 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.15146407
下载链接
链接失效反馈官方服务：
资源简介：
These are the log files of the runs for our "Learn to unlearn" submission.
It contains 42 different Kissat runs on the SAT Competition 2024.
提供机构：
Zenodo创建时间：
2025-04-04
