khoomeik/satscale-3-sat-20
收藏Hugging Face2024-07-16 更新2024-07-22 收录
下载链接：
https://hf-mirror.com/datasets/khoomeik/satscale-3-sat-20
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率序列和分配序列。数据集被分为训练集、验证集和测试集，每个部分都有相应的字节大小和示例数量。数据集的下载大小为22727字节，总大小为87528字节。
The dataset includes multiple features such as name, number of variables, number of clauses, sequence of clauses, sequence of marginals, and sequence of assignments. The dataset is divided into training, validation, and test sets, each with corresponding byte sizes and number of examples. The download size of the dataset is 22727 bytes, and the total size is 87528 bytes.
提供机构：
khoomeik
