CSP diagnostic tools for the 7 exhausted and 1 active modes in the NALS case.

Figshare2019-12-17 更新2026-04-29 收录

数据链接：

https://figshare.com/articles/dataset/CSP_diagnostic_tools_for_the_7_exhausted_and_1_active_modes_in_the_NALS_case_/11384571 数据链接链接失效反馈

官方服务：

资源简介：

CSP diagnostic tools for the 7 exhausted and 1 active modes in the NALS case.

创建时间：

2019-12-17

RandCSPBench

约束满足问题

组合优化

RandCSPBench是由博科尼大学等机构联合构建的约束满足问题基准数据集，包含3-SAT、4-SAT、3-col和5-col四类NP难问题实例，总计41.2万条数据。数据集通过调节子句变量比（α）和约束密度（c）等参数，系统生成不同难度级别的实例，覆盖从可满足性阈值附近到高硬度区间的完整谱系。其创新性在于引入统计物理相变理论指导的渐进式难度设计，并首次纳入K>3的高阶问题。该数据集旨在评估图神

arXiv2026-02-21 更新410

khoomeik/satscale-ca-20000

逻辑推理

约束满足问题

该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率序列和分配序列。数据集被分为训练集、验证集和测试集，其中训练集包含20000个样本，验证集和测试集各包含100个样本。数据集的下载大小为8095546字节，总大小为65516526字节。

Hugging Face2024-07-16 更新90

haoming06/seating_arr_5k

约束满足问题

逻辑推理

--- dataset_info: features: - name: question dtype: string - name: answer dtype: string - name: interleaved_reasoning dtype: string - name: interleaved_pred dtype: string -

Hugging Face2026-03-20 更新40

khoomeik/satscale-ca-20

逻辑推理

约束满足问题

该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率序列和赋值序列。数据集被分为训练集、验证集和测试集，分别包含20个、1个和1个样本。数据集的下载大小为22163字节，总大小为69620字节。

Hugging Face2024-07-16 更新110

Benchmark Instances for Workflow Satisfiability Problem

工作流

约束满足问题

该数据集是为了评估不同解算器在处理工作流可满足性问题（WSP）时的性能而生成的一系列基准实例。这些实例考虑了不同数量的用户和约束条件。实例生成器支持多种约束，如职责分离（SoD）、最多三人（AM3）、SUAL、WL和ADA等，这些都是基于现实世界应用而设计的。该任务旨在对不同解算器在WSP实例上的性能进行比较。

arXiv60

CSP diagnostic tools for the 7 exhausted and 1 active modes in the NALS case.

资源简介：

相关数据集