G4SATBench是由多伦多大学和上海交通大学的研究团队创建的综合性SAT解决数据集，包含7个不同来源和难度的数据集。该数据集旨在为基于图神经网络的SAT解决方法提供一个公平的评估框架。数据集涵盖了从随机问题到组合问题的广泛范围，每个数据集都有三个难度级别：简单、中等和困难。G4SATBench不仅包括了先前的数据集，还引入了新的难度级别，以支持更细致的分析。数据集的创建过程经过精心设计，以避免

arXiv2024-05-11 更新2580

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

SAT求解

对称性打破

This dataset includes source code, benchmarks and dependencies to reproduce the work presented in the TACAS 18 paper entitled "CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving" <b

DataCite Commons2020-08-30 更新90

Smaple VMI problems

sample multi-supplier multi-customer problems

Figshare2022-12-30 更新60

DT-SLIM Results

决策树模型

SAT求解

Datasets detailing the results of the different experiments described in the paper "SAT-based Decision Tree Learning for Large Data Sets"

NIAID Data Ecosystem120

The VLSAT (Very Large SAT) Benchmark Suite

SAT求解

Petri网

The VLSAT benchmark suite (where "VL" stands for "Very Large") is a collection of one hundred of SAT formulas to be used as benchmarks in scientific experiments and software competitions. These SAT fo

DataCite Commons2020-11-10 更新80

Sokoban Sample model

资源简介：

相关数据集