MRCPSP instances from the PSPlib
收藏arXiv2025-09-30 收录
下载链接：
https://people.inf.ethz.ch/markusg/psplib/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了928个最小资源约束项目调度问题（MRCPSP）的实例，这些实例被用于评估结合优化策略的SAT求解器的性能。此外，该数据集还用于比较在SAT求解器优化策略中，本地交互效率的高低。规模上，该数据集共有928个实例，其任务是对MRCPSP实例上的SAT求解器性能进行优化。
This dataset comprises 928 instances of the Minimum Resource-Constrained Project Scheduling Problem (MRCPSP). It serves two key research applications: first, to assess the performance of SAT solvers equipped with optimization strategies; second, to compare the local interaction efficiency of various SAT solver optimization strategies. The core task of utilizing this dataset is to optimize the performance of SAT solvers on MRCPSP instances.
提供机构：
PSPlib
