20 Instances of the Graceful Production SAT Benchmarks
收藏数据链接：
官方服务：
资源简介：
20 Instances of the Graceful Production SAT Benchmarks. Prepared to submit for the SAT Competition-2022.
本数据集包含20个测试实例，属于优雅生成型布尔可满足性问题（SAT）基准测试集（Graceful Production SAT Benchmarks），系为提交至2022年SAT竞赛（SAT Competition-2022）所筹备。
提供机构：
figshare创建时间：
2022-05-01
