sdpkjc/SATQuest-rt
收藏Hugging Face2025-04-10 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/sdpkjc/SATQuest-rt
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了解析SAT（布尔 satisfiability）问题实例的相关特征，以及使用不同求解器（如MCS、MUS和MaxSAT）的元数据信息。每个实例都有唯一的标识符、文字数量、DIMACS格式的unsat编码、变量数量、子句数量，以及求解器的冲突次数、决策次数、传播次数、重启次数和解决方案。数据集被划分为测试集，共有159个示例。
The dataset includes features related to parsed SAT (Boolean satisfiability) problem instances, as well as metadata information from different solvers (such as MCS, MUS, and MaxSAT). Each instance has a unique identifier, number of literals, DIMACS format unsat encoding, number of variables, number of clauses, and solver statistics including number of conflicts, decisions, propagations, restarts, and solution. The dataset is split into a test set with a total of 159 examples.
提供机构：
sdpkjc
