SATLIB
收藏DataCite Commons2025-01-02 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/badbba53-42af-43e9-81ba-77ec744a6987
下载链接
链接失效反馈官方服务：
资源简介：
The SATLIB dataset, a collection of SAT instances and solvers.
SATLIB数据集是布尔可满足性（SAT）实例与求解器的集合。
提供机构：
TIB
创建时间：
2025-01-02
搜集汇总
背景与挑战
背景概述
SATLIB数据集是一个包含SAT（布尔可满足性问题）实例和求解器的集合，主要用于逻辑推理和算法研究。
以上内容由遇见数据集搜集并总结生成
