khoomeik/satscale-3-sat-20000
收藏Hugging Face2024-07-16 更新2024-07-22 收录
下载链接：
https://hf-mirror.com/datasets/khoomeik/satscale-3-sat-20000
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含20000个训练样本、100个验证样本和100个测试样本。每个样本包含名称、变量数量、子句数量、子句序列、边缘概率和赋值序列等信息。数据集总大小为75733174字节，下载大小为7608441字节。数据文件按训练集、验证集和测试集分别存储。
The dataset contains 20,000 training samples, 100 validation samples, and 100 test samples. Each sample includes information such as name, number of variables, number of clauses, clause sequences, marginal probabilities, and assignment sequences. The total size of the dataset is 75,733,174 bytes, with a download size of 7,608,441 bytes. The data files are stored separately for the training, validation, and test sets.
提供机构：
khoomeik
