MRCPSP instances from the 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.