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

DataCite Commons2021-11-24 更新30

Profitable Production Problem (PRP) SAT benchmarks

酶生产优化

SAT求解

Profitable Production Problem (PRP) SAT benchmarks for SAT Competition-2023.

Figshare2023-05-01 更新110

Experimental data for "sampling Configurations From Software Product Lines Via Probability-aware Diversification and SAT Solving"

软件产品线配置采样

SAT求解

Experimental data for "sampling Configurations From Software Product Lines Via Probability-aware Diversification and SAT Solving" submitted to ASE. 1. rSATJ4, PaD+rSATJ4, ProbSAT and PaD+ProbSAT ar

NIAID Data Ecosystem80