3-SAT Instances
收藏arXiv2025-09-30 收录
下载链接：
https://osf.io/f2m9w/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了一系列3-SAT问题的实例，这是布尔可满足性问题（SAT）的一个特殊情形。该数据集旨在评估模拟退火算法相较于安慰剂元启发式算法的性能。数据集中包含了多种配置的3-SAT实例，这些实例用于评估研究所涉及的算法的性能指标。该任务旨在对启发式算法进行优化与评估。
This dataset contains a collection of 3-SAT problem instances, which are a special case of the Boolean Satisfiability Problem (SAT). It is designed to evaluate the performance of the simulated annealing algorithm compared to the placebo meta-heuristic algorithm. The dataset includes 3-SAT instances with various configurations, which are used to assess the performance metrics of the algorithms involved in this study. This task aims to optimize and evaluate heuristic algorithms.
