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.

提供机构：

创建时间：

2025-04-04

© 2023-2026 上海数据发展科技有限责任公司版权所有

沪ICP备17003045号-15 沪公网安备31010402336585号

二维码

社区交流群

二维码

科研交流群

商业服务